Sciweavers

3432 search results - page 381 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
WSC
2008
15 years 9 months ago
Outpatient appointment scheduling in a multi facility system
This study evaluates appointment systems used in hospitals by incorporating appointment rules and patient characteristics. Using an experiment unit at an internal medicine departm...
Athula Wijewickrama, Soemon Takakuwa
SAC
2010
ACM
15 years 4 months ago
A formal approach to reuse successful traceability practices in SPL projects
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
Angelina Espinoza, Goetz Botterweck, Juan Garbajos...
COMPSEC
2000
112views more  COMPSEC 2000»
15 years 6 months ago
Securing The Electronic Market: The KEYSTONE Public Key Infrastructure Architecture
paper, the unified, abstract KEYSTONE Public Key Infrastructure is presented.This architecture consists of a reference model, a functional architecture specification, and a set of ...
Stefanos Gritzalis, Sokratis K. Katsikas, Dimitrio...
SCAM
2002
IEEE
15 years 11 months ago
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
Peter Bunus, Peter Fritzson
160
Voted
PACT
1997
Springer
15 years 11 months ago
Control-Driven Coordination Programming in Shared Dataspace
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
George A. Papadopoulos, Farhad Arbab