Sciweavers

171 search results - page 22 / 35
» Precise Documentation of Critical Software
Sort
View
CN
1998
67views more  CN 1998»
13 years 7 months ago
An Extensible Rendering Engine for XML
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...
Paolo Ciancarini, Alfredo Rizzi, Fabio Vitali
PPOPP
2009
ACM
14 years 8 months ago
Detecting and tolerating asymmetric races
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
Paruj Ratanaworabhan, Martin Burtscher, Darko Kiro...
ICADL
2005
Springer
110views Education» more  ICADL 2005»
14 years 1 months ago
A Hybrid Information Retrieval Model Using Metadata and Text
Metadata IR model has high precision and low recall because the query in Metadata IR model is strict that is, the query can express user information need exactly, while Full-text I...
Sung Kim, Sung Myaeng, Jeong-Mok Yoo
ECSCW
2001
13 years 9 months ago
On finding things out: Situating organisational knowledge in CSCW
We present a field study of an organisation which designs and constructs precision mechatronic devices, which typically integrate electronics, mechanical assemblies, computer hardw...
Kristina Groth, John Bowers
CASES
2003
ACM
14 years 1 months ago
Clustered calculation of worst-case execution times
Knowing the Worst-Case Execution Time (WCET) of a program is necessary when designing and verifying real-time systems. A correct WCET analysis method must take into account the po...
Andreas Ermedahl, Friedhelm Stappert, Jakob Engblo...