Sciweavers

2637 search results - page 84 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
ICFEM
2009
Springer
15 years 10 months ago
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
Péter Bokor, Marco Serafini, Neeraj Suri, H...
ICMCS
1999
IEEE
106views Multimedia» more  ICMCS 1999»
15 years 8 months ago
Integrating Support for Collaboration-Unaware VRML Models into Cooperative Applications
This paper presents design and architecture of the distributed virtual reality service (dvr) which allows collaboration-unaware VRML animations and simulations to be integrated in...
Werner Geyer, Martin Mauve
BRAIN
2010
Springer
15 years 24 days ago
Domain-Specific Modeling as a Pragmatic Approach to Neuronal Model Descriptions
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
Ralf Ansorg, Lars Schwabe
HICSS
2002
IEEE
121views Biometrics» more  HICSS 2002»
15 years 9 months ago
Workflow-Supported Organizational Memory Systems: An Industrial Application
Workflow management technology has evolved from efficiency-oriented process automation tools to knowledge network building and support systems. This paper presents a workflow mana...
Karl Reiner Lang, Marko Schmidt
SIGSOFT
2002
ACM
16 years 4 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s...