10072 search results - page 380 / 2015 » Composition of Model Programs |
156
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
154
click to vote
ICECCS
2005
IEEE
16 years 11 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
170
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
180
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
172
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...