4595 search results - page 384 / 919 » Reasoning about Plans |
213
click to vote
RWEB
2005
Springer
16 years 1 months ago
2005
Springer
Searching for the meaning of the word “personalization” on a popular search engine, one finds twenty-three different answers, including “the process of matching categorized...
203
click to vote
RCIS
2010
15 years 5 months ago
2010
Continuous customer-centric requirements reprioritization is essential in successfully performing agile software development. Yet, in the agile RE literature, very little is known ...
238
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
206
click to vote
PODC
1999
ACM
15 years 12 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
215
click to vote
GI
2005
Springer
16 years 1 months 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 ...