This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...
We present an architectural framework, Garnet, which a data stream centric abstraction to encourage the manipulation and exploitation of data generated in sensor networks. By prov...
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
J. Eliot B. Moss, Charles C. Weems, Timothy Richar...
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem ...