Sciweavers

5216 search results - page 240 / 1044
» Planning as Model Checking
Sort
View
CBSE
2006
Springer
15 years 8 months ago
Defining and Checking Deployment Contracts for Software Components
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
Kung-Kiu Lau, Vladyslav Ukis
DASFAA
2011
IEEE
311views Database» more  DASFAA 2011»
14 years 8 months ago
3D Indoor Route Planning for Arbitrary-Shape Objects
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
Wenjie Yuan, Markus Schneider
CICLING
2007
Springer
15 years 10 months ago
A Mixed Trigrams Approach for Context Sensitive Spell Checking
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
Davide Fossati, Barbara Di Eugenio
FMICS
2007
Springer
15 years 10 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
AAAI
2010
15 years 5 months ago
SAP Speaks PDDL
In several application areas for Planning, in particular helping with the creation of new processes in Business Process Management (BPM), a major obstacle lies in the modeling. Ob...
Jörg Hoffmann, Ingo Weber, Frank Michael Kraf...