10159 search results - page 1658 / 2032 » System Design Validation Using Formal Models |
184
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies a load shedding mechanism called...
207
click to vote
LCN
2005
IEEE
16 years 11 days ago
2005
IEEE
— The problem of achieving fairness in the allocation of the bandwidth resource on a link shared by multiple flows of traffic has been extensively researched over the last deca...
156
click to vote
MOBIDE
2005
ACM
16 years 11 days ago
2005
ACM
The increasing popularity of mobile devices and the support of web portals towards performing transactions from these mobile devices has enabled business on the move. However, int...
190
click to vote
SENSYS
2005
ACM
16 years 11 days ago
2005
ACM
Sensor networks have the potential to greatly impact many aspects of medical care. By outfitting patients with wireless, wearable vital sign sensors, collecting detailed real-tim...
186
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...