3239 search results - page 87 / 648 » A Logical Process Calculus |
111
click to vote
DNA
2009
Springer
15 years 7 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
90
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
101
Voted
AAAI
2008
15 years 3 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
91
Voted
KAIS
2007
15 years 16 days ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
121
Voted
MST
2008
15 years 18 days ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...