Sciweavers

343 search results - page 31 / 69
» Similarity for Analogical Software Reuse: A Computational Mo...
Sort
View
84
Voted
SIGMOD
2002
ACM
134views Database» more  SIGMOD 2002»
15 years 9 months ago
Data Modelling versus Ontology Engineering
Ontologies in current computer science parlance are computer based resources that represent agreed domain semantics. Unlike data models, the fundamental asset of ontologies is the...
Peter Spyns, Robert Meersman, Mustafa Jarrar
EDOC
1997
IEEE
15 years 1 months ago
A Policy Based Role Object Model
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
Emil Lupu, Morris Sloman
BMCBI
2008
115views more  BMCBI 2008»
14 years 9 months ago
Systems biology driven software design for the research enterprise
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...
SIGSOFT
2007
ACM
15 years 10 months ago
Quantitative verification: models techniques and tools
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
Marta Z. Kwiatkowska
WSC
2000
14 years 11 months ago
Tire model for simulations of vehicle motion on high and low friction road surfaces
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
James Lacombe