CF
2010
ACM
13 years 10 months ago
2010
ACM
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
The event-based paradigm plays an important role to reflect logistics processes in modern IT infrastructures. Events occur at many stages, e.g., when goods tagged with RFID chips a...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we discuss requirements for peer-to-peer (P2P) benchmarking, and we present two exemplary approaches to benchmarks for Distributed Hashtables (DHT) and P2P gaming ove...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
APSCC
2010
IEEE
13 years 10 months ago
2010
IEEE
Middleware for web service orchestration, such as runtime engines for executing business processes, workflows, or web service compositions, can easily become performance bottleneck...
APSCC
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
APSCC
2010
IEEE
13 years 10 months ago
2010
IEEE
Software as a service (SaaS) is an emerging software framework in which business data and logic typically integrate with other applications. It requires a unified subscriber to des...
APSCC
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...