3706 search results - page 117 / 742 » OntoComP System Description |
143
click to vote
SIGOPS
2010
15 years 3 months ago
2010
System logs come in a large and evolving variety of formats, many of which are semi-structured and/or non-standard. As a consequence, off-the-shelf tools for processing such logs ...
130
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
139
click to vote
INTERSENSE
2006
ACM
15 years 11 months ago
2006
ACM
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
120
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
111
click to vote
CONCUR
1990
Springer
15 years 9 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...