1188 search results - page 78 / 238 » Testing Semantics: Connecting Processes and Process Logics |
133
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...
227
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
160
click to vote
PADS
2009
ACM
15 years 10 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
160
Voted
FSKD
2007
Springer
15 years 5 months ago
2007
Springer
More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
130
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...