3009 search results - page 358 / 602 » The Expressive Rate of Constraints |
182
click to vote
KI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
159
click to vote
NETCOOP
2007
Springer
16 years 24 days ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
172
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
162
click to vote
WSFM
2007
Springer
16 years 23 days ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
189
click to vote
ECBS
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...