1081 search results - page 17 / 217 » Hierarchical Heterogeneous Specifications |
ENTCS
2008
13 years 8 months ago
2008
We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over nonhierarchical object structures, in which upd...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
We consider a heterogeneous computing environment that consists of a collection of machines and task types. The machines vary in capabilities and different task types are better su...
DSS
2007
13 years 8 months ago
2007
The integration of bibliographical information on scholarly publications available on the Internet is an important task in the academic community. Accurate reference metadata extr...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
VCIP
2003
13 years 9 months ago
2003
This paper describes the development of a layered structure of a multi-resolutional scalable video codec based on the Color Set Partitioning in Hierarchical Trees (CSPIHT) scheme....