3844 search results - page 480 / 769 » Distributed Meeting Scheduling |
153
Voted
CSFW
2007
IEEE
16 years 5 days ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
131
click to vote
JSSPP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. This paper empirically explores the advantages of the collaboration between different parallel compute sites in a decentralized grid scenario. To this end, we assume ind...
152
click to vote
PVM
2007
Springer
15 years 12 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
134
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— In a battery powered system, a primary design consideration is the battery lifetime. Profile of current drawn from a battery determines its lifetime. Recently in [4] dynamic v...
156
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...