3731 search results - page 637 / 747 » cases 2006 |
109
click to vote
ENTCS
2006
15 years 20 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
110
click to vote
ENTCS
2006
15 years 20 days ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
98
Voted
ENTCS
2006
15 years 20 days ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
137
click to vote
ISI
2006
Springer
15 years 19 days ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
90
Voted
JPDC
2007
15 years 16 days ago
2007
We propose a novel vision for roadway safety warning based on sensor networks, aiming at providing user-friendly zero-delay safety warnings to motorists. Our idea leverages the ad...