5353 search results - page 269 / 1071 » Modelling Contexts in the Or-BAC Model |
188
Voted
GFKL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
189
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
This paper addresses conceptual modeling and automatic code generation for search engine integration with data intensive Web applications. We have analyzed the similarities (and di...
181
click to vote
ANSS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies org...
184
click to vote
EPIA
2005
Springer
16 years 8 days ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
173
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...