5130 search results - page 437 / 1026 » Constraint Query Languages |
212
click to vote
LOPSTR
2007
Springer
16 years 28 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
168
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
173
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
155
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
158
click to vote
LISA
2007
15 years 9 months ago
2007
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software ...