5630 search results - page 143 / 1126 » Computability in Specification |
146
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...
113
click to vote
MICCAI
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Regional assessment of lung disease (such as chronic obstructive pulmonary disease) is a critical component to accurate patient diagnosis. Software tools than enable such...
124
click to vote
ICVGIP
2004
15 years 5 months ago
2004
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...
152
click to vote
PVLDB
2008
15 years 3 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...
107
click to vote
AIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...