5216 search results - page 694 / 1044 » Planning as Model Checking |
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
181
click to vote
GI
2005
Springer
16 years 5 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
179
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...
186
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
186
click to vote
IJSEKE
2006
15 years 6 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...