9210 search results - page 1538 / 1842 » Analyzing Real-Time Systems |
104
click to vote
EUC
2005
Springer
15 years 6 months ago
2005
Springer
We propose an efficient scheme called CoReS (Configuration and Registration Scheme) that integrates address assignment and service location for ad hoc networks prevalent in pervasi...
114
Voted
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
104
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
78
Voted
HUC
2005
Springer
15 years 6 months ago
2005
Springer
Using ethnographic methods, 28 young professionals across the global cities of London, Los Angeles, and Tokyo were studied to understand in some detail what items they carried with...
107
Voted
ICESS
2005
Springer
15 years 6 months ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...