1336 search results - page 42 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
139
click to vote
CIKM
2003
Springer
15 years 8 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
121
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
150
click to vote
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
138
click to vote
JSAC
2010
15 years 1 months ago
2010
Abstract—Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. Such platforms use inertial information of their...
133
click to vote
EDCC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...