6315 search results - page 1096 / 1263 » Approximating Solution Structure |
86
Voted
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
Collaborations (between objects) are increasingly being recognized as fundamental building blocks to structure object-oriented design, and they have made their way into UML. But v...
129
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
116
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
MICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
118
click to vote
NOMS
2002
IEEE
2002
IEEE
Design of a network level management information model for automatically switched transport networks
15 years 7 months ago
The concept of Automatically Switched Transport Networks (ASTN) combines elements of distributed connection management from the IP world with classical transport network functiona...