1188 search results - page 80 / 238 » Testing Semantics: Connecting Processes and Process Logics |
150
click to vote
RML
2002
15 years 3 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
115
click to vote
LREC
2010
15 years 5 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
149
click to vote
FLAIRS
2004
15 years 5 months ago
2004
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...
156
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
154
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...