893 search results - page 123 / 179 » Modeling reactive systems in Java |
149
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
159
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
147
click to vote
WSC
1998
15 years 5 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...
143
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
144
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...