1188 search results - page 55 / 238 » Testing Semantics: Connecting Processes and Process Logics |
133
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
120
Voted
ICEGOV
2007
ACM
15 years 7 months ago
2007
ACM
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
147
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
157
Voted
ADC
2006
Springer
15 years 9 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
133
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...