1981 search results - page 166 / 397 » Model-Checking Hierarchical Structures |
67
Voted
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
95
Voted
SECON
2010
IEEE
14 years 8 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
113
Voted
PE
2011
Springer
14 years 5 months ago
2011
Springer
Structured QBDs by Abstraction Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Fellow, IEEE, and Joost-Pieter Katoen, Member, IEEE Computer Society —This paper studies quantita...
IJDST
2011
14 years 1 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
92
Voted
ICIP
2008
IEEE
15 years 12 months ago
2008
IEEE
A fully automatic 3D-2D articulated registration algorithm for aligning a whole-body human geometry to a 2D X-ray image is presented. Domain prior in the form of a hierarchical mo...