9227 search results - page 1810 / 1846 » Developing Use Cases from Organizational Modeling |
CSFW
1999
IEEE
14 years 2 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
VRML
1995
ACM
14 years 1 months ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
BMCBI
2006
13 years 9 months ago
2006
Background: The rapid growth of protein interactome data has elevated the necessity and importance of network analysis tools. However, unlike pure text data, network search spaces...
SIAMSC
2008
13 years 9 months ago
2008
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...