1336 search results - page 104 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
153
Voted
INFORMS
1998
15 years 3 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
150
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
132
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
131
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
127
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...