5216 search results - page 786 / 1044 » Planning as Model Checking |
152
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
In complex distributed applications, a problem is often decomposed into a set of subproblems that are distributed to multiple agents. We formulate this class of problems with a tw...
129
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...
159
click to vote
CBSQ
2003
Springer
15 years 11 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
189
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
152
click to vote
EGOV
2003
Springer
15 years 11 months ago
2003
Springer
E-government in South Africa has a particularly important historical and social context due to the legacy of apartheid. As a result, a ten year egovernment implementation horizon h...