2488 search results - page 439 / 498 » An improvement in formal verification |
122
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Bioinformatic data sources available on the web are multiple and heterogenous. The lack of documentation and the difficulty of interaction with these data banks require us...
131
click to vote
JSSPP
2005
Springer
15 years 6 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
131
click to vote
EUC
2004
Springer
15 years 6 months ago
2004
Springer
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...
103
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
105
click to vote
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...