Sciweavers

355 search results - page 45 / 71
» Aspects of Formal and Graphical Design of a Bus System
Sort
View
BPM
2003
Springer
102views Business» more  BPM 2003»
14 years 1 months ago
A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
Peter Lory
AGTIVE
2007
Springer
14 years 1 days ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
14 years 10 days ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
WSCG
2003
170views more  WSCG 2003»
13 years 9 months ago
Experimental System for Visualization of the Light Load
This paper presents our work on an experimental system for visualization of the light load. The light load is thought as the total amount of light radiation received by all areas ...
Martin Cadík, Pavel Slavík, Jan Prik...
GI
2009
Springer
14 years 19 days ago
Massively-Parallel Simulation of Biochemical Systems
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...
Jens Ackermann, Paul Baecher, Thorsten Franzel, Mi...