10072 search results - page 380 / 2015 » Composition of Model Programs |
168
click to vote
APLAS
2004
ACM
16 years 26 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...
179
Voted
ICECCS
2005
IEEE
16 years 1 months 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...
187
Voted
ICALP
2007
Springer
16 years 1 months 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...
195
Voted
APLAS
2004
ACM
16 years 26 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...
186
Voted
IPPS
2003
IEEE
16 years 21 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...