1980 search results - page 262 / 396 » Compositional Model Checking of Real Time Systems |
164
Voted
ITIIS
2010
14 years 10 months ago
2010
Anonymous hierarchical identity based encryption (HIBE) is an extension of identity based encryption (IBE) that can use an arbitrary string like an e-mail address for a public key...
149
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
142
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
139
Voted
IJNSEC
2007
15 years 3 months ago
2007
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
135
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Most robotic vision algorithms are proposed by envisaging robots operating in structured environments where the world is assumed to be rigid. These algorithms fail to provide o...