5630 search results - page 1 / 1126 » Computability in Specification |
LOGCOM
2006
13 years 4 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
EDOC
2004
IEEE
13 years 8 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
TOCL
2002
13 years 4 months ago
2002
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
CSI
2007
13 years 4 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
CSB
2004
IEEE
13 years 8 months ago
2004
IEEE
Proteases play a fundamental role in the control of intra- and extracellular processes by binding and cleaving specific amino acid sequences. Identifying these targets is extremel...