1200 search results - page 4 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
HPTS
1993
13 years 11 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
WSC
2008
13 years 9 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
FORTE
1997
13 years 8 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
EDOC
2007
IEEE
14 years 1 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...