11172 search results - page 2094 / 2235 » Testing Physical Systems |
140
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling t...
173
Voted
WADS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
139
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
134
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
219
click to vote
ASPLOS
1998
ACM
15 years 8 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...