893 search results - page 154 / 179 » Modeling reactive systems in Java |
147
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
124
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
141
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
108
click to vote
JSA
2006
15 years 2 months ago
2006
action Model for a Grid Execution Framework Kaizar Amin,c,a Gregor von Laszewski,,a,b Mihael Hategan,b,a Rashid Al-Ali,d Omer Rana,d and David Walkerc aArgonne National Laboratory,...
181
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...