1981 search results - page 166 / 397 » Model-Checking Hierarchical Structures |
102
Voted
LPAR
2010
Springer
15 years 1 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...
143
click to vote
SECON
2010
IEEE
15 years 24 days 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...
152
click to vote
PE
2011
Springer
14 years 10 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...
121
click to vote
IJDST
2011
14 years 6 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...
137
click to vote
ICIP
2008
IEEE
16 years 4 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...