2171 search results - page 291 / 435 » A Generic Process Algebra |
121
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
144
click to vote
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
116
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
Semantic Web technologies offer the possibility of increased accuracy and completeness in search and retrieval operations. In recent years, curators of data resources have begun f...
139
click to vote
IPMI
2005
Springer
15 years 9 months ago
2005
Springer
Brain MR image segmentation is an important research topic in medical image analysis area. In this paper, we propose an active contour model for brain MR image segmentation, based ...
121
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...