641 search results - page 42 / 129 » Combining Aspects of Reactive Systems |
124
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
140
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....
124
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the ...
139
click to vote
TOOLS
1997
IEEE
15 years 8 months ago
1997
IEEE
PROPAGATOR is a family of patterns for consistently updating objects in a dependency network. The propagator patterns are found in such diverse applications as MAKE, WWW, spreadsh...
110
click to vote
WEBNET
1998
15 years 5 months ago
1998
: As the new network computer technology forces into every aspect of daily life, many things change in a rather rapid way, compared to what we were used to until recently. One of t...