641 search results - page 42 / 129 » Combining Aspects of Reactive Systems |
ICECCS
2005
IEEE
14 years 2 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...
MLMI
2005
Springer
14 years 2 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....
AC
2003
Springer
14 years 2 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 ...
TOOLS
1997
IEEE
14 years 28 days 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...
WEBNET
1998
13 years 10 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...