1161 search results - page 149 / 233 » Resource Modeling for Timed Creol Models |
164
Voted
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
147
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
139
Voted
SODA
1996
ACM
15 years 5 months ago
1996
ACM
Emerging high speed networks will carry tra c for services such as video-on-demand and video teleconferencing that require resource reservation along the path on which the tra c i...
140
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
139
Voted
ICCD
2005
IEEE
15 years 9 months ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...