4348 search results - page 421 / 870 » Using UML for Modeling Complex Real-Time Systems |
194
click to vote
ARTS
1997
Springer
15 years 11 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
234
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
233
click to vote
ECWEB
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
198
click to vote
WSC
2004
15 years 9 months ago
2004
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
195
click to vote
ENTCS
2006
15 years 7 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...