3185 search results - page 112 / 637 » Principles for modeling language design |
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
SPDECE
2007
13 years 9 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
WSC
2004
13 years 9 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...
IWSSD
2000
IEEE
14 years 6 days ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...