5718 search results - page 841 / 1144 » Modeling Rule Precision |
186
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
196
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
157
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
We introduce staged self-assembly of Wang tiles, where tiles can be added dynamically in sequence and where intermediate constructions can be stored for later mixing. This model a...
194
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
163
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...