164 search results - page 29 / 33 » Executable Computational Logics: Combining Formal Methods an... |
TCBB
2008
13 years 7 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
IIWAS
2008
13 years 9 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
BMCBI
2007
13 years 7 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...