1078 search results - page 193 / 216 » Modelling and Verifying of e-Commerce Systems |
122
click to vote
FORMATS
2009
Springer
15 years 5 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
137
click to vote
ICICS
2007
Springer
15 years 5 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
SPIEVIP
2008
15 years 4 months ago
2008
In this work we propose a method for securing port facilities which uses a set of video cameras to automatically detect various vessel classes moving within buffer zones and off-l...
119
click to vote
CIBB
2008
15 years 3 months ago
2008
A system for utilizing an artificial neural network to predict splice sites in genes has been studied. The neural network uses a sliding window of nucleotides over a gene and predi...
106
click to vote
ECSA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...