2873 search results - page 309 / 575 » Model Checking and the Mu-calculus |
127
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
165
click to vote
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
115
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
136
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
170
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...