1188 search results - page 119 / 238 » Testing Semantics: Connecting Processes and Process Logics |
132
click to vote
VL
1993
IEEE
15 years 8 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
145
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
129
click to vote
DAS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
152
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The web contains a wealth of product reviews, but sifting through them is a daunting task. Ideally, an opinion mining tool would process a set of search results for a given item, ...
136
click to vote
ROOM
2000
15 years 5 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...