3799 search results - page 385 / 760 » An Engineering Approach to Formal Methods |
197
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
We present an architecture for combining wikis containing hypertext with ontologies containing formal, structured information. A web-based ontology editor that supports collaborati...
179
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
162
click to vote
FIW
1998
15 years 8 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
184
click to vote
AAAI
1994
15 years 8 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
245
click to vote
CIIA
2009
15 years 8 months ago
2009
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...