7311 search results - page 1128 / 1463 » Time in State Machines |
228
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
189
click to vote
AAMAS
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...
218
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Agents or agent teams deployed to assist humans often face the challenges of monitoring the state of key processes in their environment (including the state of their human users t...
187
click to vote
CEAS
2005
Springer
16 years 1 months ago
2005
Springer
Unsolicited Commercial Communication also known as spam - has traditionally been the most visible e-mail threat and has reached a point where it creates a major problem for the de...
195
click to vote
CP
2004
Springer
16 years 29 days ago
2004
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and sche...