215 search results - page 42 / 43 » Toward Verified Execution Environments |
DSRT
2008
IEEE
14 years 1 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Sparse and irregular computations constitute a large fraction of applications in the data-intensive scientific domain. While every effort is made to balance the computational wor...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
ANCS
2005
ACM
14 years 1 months ago
2005
ACM
Large-scale applications require the efficient exchange of data across their distributed components, including data from heterogeneous sources and to widely varying clients. Inher...
ACMDIS
2000
ACM
13 years 11 months ago
2000
ACM
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...