1116 search results - page 175 / 224 » Applying Predicate Abstraction to Abstract State Machines |
ACII
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Opposing the pre-dominant turn-wise statistics of acoustic LowLevel-Descriptors followed by static classification we re-investigate dynamic modeling directly on the frame...
66
Voted
PERVASIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We report a qualitative study of the use of physical space and wireless laptops by ten United States households. Although wireless laptops purportedly offer the opportuni...
SAC
2005
ACM
15 years 4 months ago
2005
ACM
Wireless Sensor Networks (WSNs) are distributed systems whose main goal is to collect and deliver data to applications. This paper proposes a reflective, service-oriented middlewa...
CHARME
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
109
click to vote
TBILLC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...