4722 search results - page 512 / 945 » Encoding Program Executions |
130
Voted
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
—Accurate fault detection is a key element of resilient computing. Syslogs provide key information regarding faults, and are found on nearly all computing systems. Discovering ne...
141
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...
137
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
154
click to vote
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
139
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...