7049 search results - page 282 / 1410 » Data Abstraction for CSP-OZ |
177
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
151
click to vote
SNPD
2003
15 years 8 months ago
2003
This paper describes an approach (and its implementation) on how to handle the large number of data from user centered engineering processes. It uses objectoriented abstraction me...
166
click to vote
NDT
2010
15 years 1 months ago
2010
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
201
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper demonstrates the use of appropriate ing abstractions
177
click to vote
CIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we presents an adaptive neural network based clustering method to group protein