2593 search results - page 145 / 519 » constraints 2007 |
132
click to vote
AIMS
2007
Springer
16 years 20 days ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...
177
click to vote
BPM
2007
Springer
16 years 20 days ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
147
click to vote
GD
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
206
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
150
click to vote
WCE
2007
15 years 7 months ago
2007
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...