Sciweavers

2369 search results - page 327 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
FOSSACS
2008
Springer
15 years 8 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
SPLC
2010
15 years 7 months ago
An Approach for Developing Component-Based Groupware Product Lines Using the Groupware Workbench
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
Bruno Gadelha, Elder Cirilo, Marco Aurélio ...
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 6 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
IJAOSE
2008
120views more  IJAOSE 2008»
15 years 6 months ago
An architecture for exception management in multiagent systems
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
JSW
2007
134views more  JSW 2007»
15 years 6 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet