1722 search results - page 106 / 345 » Ontology Formalism Transformation |
101
Voted
CBMS
2008
IEEE
15 years 7 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
104
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
93
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
123
click to vote
SIGCSE
1997
ACM
15 years 4 months ago
1997
ACM
We present a collection of new and enhanced tools for experimenting with concepts in formal languages and automata theory. New tools, written in Java, include JFLAP for creating a...
91
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...