1580 search results - page 104 / 316 » Non-Interference Through Determinism |
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
CC
2005
Springer
14 years 4 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
ICCS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A data-adaptive approach for cDNA microarray image enhancement is presented. Through the weighting coefficients adaptively determined from local microarray image statisti...
ICSOC
2005
Springer
14 years 4 months ago
2005
Springer
Most web services need to be contracted through service level agreements that typically specify a certain quality of service (QoS) in return for a certain price. We propose a new f...
IPSN
2005
Springer
14 years 4 months ago
2005
Springer
Abstract— In this paper we present a novel sequence-based RF localization algorithm called Ecolocation. Our algorithm determines the location of unknown nodes by examining the or...