Sciweavers

6274 search results - page 809 / 1255
» Proofs, Programs, Processes
Sort
View
EUROPLOP
2006
15 years 8 months ago
Supporting the Selection of Design Patterns by Formal Definition and Considering Semantics
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
Klaus Meffert
WSC
2001
15 years 8 months ago
Taylor enterprise dynamics
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
William B. Nordgren
JIPS
2006
129views more  JIPS 2006»
15 years 6 months ago
Automatic Reading System for On-off Type DNA Chip
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...
Munho Ryu, Jong Dae Kim, Jongwon Kim
154
Voted
PPL
2008
97views more  PPL 2008»
15 years 6 months ago
The Impact of Dynamic Channels on Functional Topology Skeletons
Parallel functional programs with implicit communication often generate purely hierarchical communication topologies during execution: communication only happens between parent an...
Jost Berthold, Rita Loogen
IS
2007
15 years 6 months ago
A configurable reference modelling language
Enterprise Systems (ES) are comprehensive off-the-shelf packages that have to be configured to suit the requirements of an organization. Most ES solutions provide reference models...
Michael Rosemann, Wil M. P. van der Aalst