2796 search results - page 340 / 560 » A time structure based software reliability model |
179
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
172
Voted
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
The high bandwidth and low latency of the modern internet has made possible the deployment of distributed computing platforms. The XenoServer platform provides a distributed compu...
190
click to vote
RULEML
2009
Springer
16 years 20 days ago
2009
Springer
Rule bases are increasingly being used as repositories of knowledge content on the Semantic Web. As the size and complexity of these rule bases s, developers and end users need met...
177
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a method for detection of cerebral white matter hyperintensities (WMH) based on run-time PD-, T1-, and T2weighted structural magnetic resonance (MR) images of t...
157
click to vote
JAIR
1998
15 years 5 months ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...