4679 search results - page 19 / 936 » The Timely Computing Base Model and Architecture |
FORTE
2009
13 years 6 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
SEUS
2008
IEEE
14 years 2 months ago
2008
IEEE
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
JETAI
2007
13 years 8 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a viewpoint-based approach for the quick fusion of multiple stereo depth maps. Our method selects depth estimates for each pixel that minimize violations of visibility ...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...