350 search results - page 41 / 70 » Supporting the specification and analysis of timing constrai... |
107
Voted
TMC
2008
14 years 9 months ago
2008
There is a vast literature on the throughput analysis of the IEEE 802.11 media access control (MAC) protocol. However, very little has been done on investigating the interplay betw...
89
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
JCIT
2007
14 years 9 months ago
2007
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...
DSRT
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...