893 search results - page 59 / 179 » Modeling reactive systems in Java |
117
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
122
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
131
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
151
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
206
click to vote
ESEC
1999
Springer
15 years 8 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...