14331 search results - page 198 / 2867 » On the modeling and analysis of obligations |
169
click to vote
ICSEA
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
160
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
161
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
144
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces the efficient application of Virtual Reality (VR) technologies in the Architecture, Engineering and Construction (AEC) industry, where conventional plastic m...
177
click to vote
CASCON
1996
15 years 7 months ago
1996
The performance of host communication subsystems is an important research topic in computer networks.1 Performance metrics such as throughput, delay, and packet loss are important...