2004 search results - page 239 / 401 » Comparison of Model Checking Tools for Information Systems |
137
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
141
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
152
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This study applies Auto Regressive (AR) and Auto Regressive Moving Average (ARMA) modeling to wavelet decomposed terahertz pulsed signals to assist biomedical diagnosis and mail/p...
128
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
142
click to vote
JCP
2008
15 years 4 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...