Sciweavers

2369 search results - page 235 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
COMPSAC
2009
IEEE
15 years 11 months ago
Towards the Operational Semantics of User-Centric Communication Models
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
Yingbo Wang, Yali Wu, Andrew A. Allen, Barbara Esp...
MODELS
2009
Springer
15 years 11 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader
ECOWS
2006
Springer
15 years 10 months ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...
EKNOW
2009
15 years 4 months ago
Visual Middle-Out Modeling of Problem Spaces
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
Andrea Valente
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce