Sciweavers

2748 search results - page 126 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
100
Voted
ECAL
2007
Springer
15 years 4 months ago
From Artificial Societies to New Social Science Theory
We identify two distinct themes in social science modelling. One, more specific, approach is that of social simulation which addresses how behaviour of many actors can lead to emer...
Eric Silverman, John Bryden
88
Voted
ESWS
2008
Springer
15 years 2 months ago
Learning Highly Structured Semantic Repositories from Relational Databases:
Abstract. Relational databases are valuable sources for ontology learning. Methods and tools have been proposed to generate ontologies from such structured input. However, a major ...
Farid Cerbah
127
Voted
BMCBI
2007
94views more  BMCBI 2007»
15 years 15 days ago
Model based analysis of real-time PCR data from DNA binding dye protocols
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
Mariano J. Alvarez, Guillermo J. Vila-Ortiz, Maria...
96
Voted
GI
2004
Springer
15 years 5 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
98
Voted
EKAW
2006
Springer
15 years 4 months ago
Capturing Quantified Constraints in FOL, Through Interaction with a Relationship Graph
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
Peter M. D. Gray, Graham J. L. Kemp