816 search results - page 125 / 164 » Automating Verification by Functional Abstraction at the Sys... |
BPM
2006
Springer
14 years 24 days ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
RAS
2008
13 years 8 months ago
2008
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
The communication protocol IEEE 802.15.4 is becoming pervasive for low power and low data rate wireless sensor networks (WSNs) applications, including control and automation. Never...