717 search results - page 101 / 144 » Modeling and Analysis of Software Aging Process |
113
click to vote
EMSOFT
2010
Springer
14 years 12 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
139
click to vote
JCIT
2010
14 years 8 months ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
LREC
2008
15 years 3 months ago
2008
In human face-to-face interaction, participants can rely on a number of audio-visual information for interpreting interlocutors' communicative intentions, such information st...
121
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
108
click to vote
WSC
1998
15 years 3 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...