3429 search results - page 323 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
161
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
127
click to vote
MOMPES
2008
IEEE
15 years 11 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
120
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
130
Voted
WSC
1997
15 years 6 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
145
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...