2369 search results - page 214 / 474 » Software Supported Modelling in Pharmacokinetics |
161
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
179
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
147
click to vote
APIN
2007
15 years 6 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
170
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Cassandra is a distributed storage system for managing very large amounts of structured data spread out across many commodity servers, while providing highly available service wit...
198
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
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...