1724 search results - page 95 / 345 » Models for Concurrency |
SAMOS
2007
Springer
14 years 3 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
INFSOF
2002
13 years 8 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
TOOLS
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...