1536 search results - page 140 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
101
click to vote
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
103
click to vote
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
TREC
2000
14 years 11 months ago
2000
The PISAB Question Answering system is based on a combination of Information Extraction and Information Retrieval techniques. Knowledge extracted from documents is modeled as a se...
IJCINI
2007
14 years 10 months ago
2007
: The theme of this issue of IJCINI is on cognitive mechanisms of autonomic computing and laws of human cooperative work organization. This editorial addresses key notions of this ...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...