1404 search results - page 105 / 281 » On the Behavior of Complex Object-Oriented Systems |
151
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
160
click to vote
PARLE
1992
15 years 8 months ago
1992
Complex and data-intensive database queries mandate parallel processing strategies to achieve sufficiently short response times. In praxis, parallel database processing is mostly b...
159
click to vote
WSC
2001
15 years 6 months ago
2001
The use of simulation in healthcare area is not widely spread when compared with other areas. This paper suggests that traditional approaches to modeling may not fully utilize sim...
129
click to vote
USAB
2007
15 years 5 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
107
Voted
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we describe a simple second-order discrete-time model for the Transmission Control Protocol (TCP) with Random Early Detection (RED) algorithm. The TCP/RED mechan...