407 search results - page 66 / 82 » An Automated Verification Method for Distributed Systems Sof... |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
WEBI
2010
Springer
13 years 6 months ago
2010
Springer
This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation...
EMS
2009
IEEE
14 years 3 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...