6581 search results - page 1007 / 1317 » Formalizing Design Patterns |
161
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
180
click to vote
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
155
Voted
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
177
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
155
click to vote
RV
2007
Springer
16 years 25 days ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...