1724 search results - page 95 / 345 » Models for Concurrency |
121
click to vote
SAMOS
2007
Springer
15 years 9 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...
160
click to vote
SIGSOFT
2007
ACM
16 years 3 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 ...
109
click to vote
INFSOF
2002
15 years 2 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
101
click to vote
TOOLS
2010
IEEE
15 years 8 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 ...
122
click to vote
ECBS
2009
IEEE
15 years 10 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...