7580 search results - page 1106 / 1516 » Prometheus design tool |
178
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
179
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication systems are proven tools upon which to build fault-tolerant systems. As the demands for fault-tolerance increase and more applications require reliable distrib...
163
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
163
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
185
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
A perennial challenge in creating and using complex autonomous agents is following their choices of actions as the world changes dynamically and understanding why they act as they ...