571 search results - page 99 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
SIGSOFT
2006
ACM
14 years 8 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
HIPEAC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
CCGRID
2003
IEEE
14 years 1 months ago
2003
IEEE
Grid computing is becoming a mainstream technology for large-scale distributed resource sharing and system integration. Workflow management is emerging as one of the most importan...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...