11168 search results - page 202 / 2234 » Abstract State Processes |
126
click to vote
ER
2007
Springer
16 years 16 days ago
2007
Springer
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
175
click to vote
LOGCOM
2002
15 years 6 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
213
click to vote
ACL
2010
15 years 4 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
178
click to vote
CJ
2010
15 years 3 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
144
click to vote
COMPSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...