1809 search results - page 56 / 362 » A Formal Specification of dMARS |
JUCS
2000
13 years 7 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...
ACRI
2004
Springer
14 years 1 months ago
2004
Springer
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
SERP
2003
13 years 9 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
JANCL
2000
13 years 7 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...