3555 search results - page 138 / 711 » Security-Critical System Development with Extended Use Cases |
111
Voted
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
143
click to vote
TON
2010
14 years 8 months ago
2010
In this paper we study several ways in which mobile terminals can backoff on their uplink transmit power in order to extend battery lifetimes. This is particularly effective when a...
200
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Rapid advancements in positioning systems and wireless communications enable accurate tracking of continuously moving objects. This development poses new challenges to database te...
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
How soon will firms form alliances with a platform provider? What factors impact the decision and the speed with which firms first move into partnerships with a platform provider ...
102
click to vote
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...