188 search results - page 14 / 38 » On the Unification of Process Semantics: Observational Seman... |
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
ISI
2004
Springer
15 years 2 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
FCS
2006
14 years 10 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
CICLING
2001
Springer
15 years 1 months ago
2001
Springer
The availability of semantically tagged corpora is becoming a very important and urgent need for training and evaluation within a large number of applications but also they are th...
CICLING
2001
Springer
15 years 1 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...