Sciweavers

629 search results - page 64 / 126
» Parallelization Method for a Continuous Property
Sort
View
GCC
2003
Springer
14 years 1 months ago
Improving the Objects Set Availability in the P2P Environment by Multiple Groups
The availability is often used to measure how well a system can provide the service continuously. The measures of availability for a single computer and for multiple computers are ...
Kang Chen, Shuming Shi, Guangwen Yang, Meiming She...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 8 days ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
ACL
2006
13 years 9 months ago
PCFGs with Syntactic and Prosodic Indicators of Speech Repairs
A grammatical method of combining two kinds of speech repair cues is presented. One cue, prosodic disjuncture, is detected by a decision tree-based ensemble classifier that uses a...
John Hale, Izhak Shafran, Lisa Yung, Bonnie J. Dor...
ICPADS
1998
IEEE
14 years 22 hour ago
The XBW Model for Dependable Real-Time Systems
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
Vilgot Claesson, Stefan Poledna, Jan Söderber...
DCOSS
2007
Springer
13 years 11 months ago
Efficient and Distributed Access Control for Sensor Networks
Sensor networks are often used to sense the physical world and provide observations for various uses. In hostile environments, it is critical to control the network access to ensur...
Donggang Liu