319 search results - page 44 / 64 » Improved Model Checking of Hierarchical Systems |
WMCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...
ASPLOS
2006
ACM
14 years 3 months ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
CAISE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
TASE
2008
IEEE
13 years 9 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper, we model the hierarchical structures inherent in cognitive radio networks as the priority queueing system in which primary users interact with the highest priority a...