9095 search results - page 308 / 1819 » Service RT Systems |
211
click to vote
FMICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
204
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
168
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents the design and implementation of a transaction service that complies with the WS-Coordination and WS-AtomicTransaction standards. Such service builds upon XAct...
159
click to vote
IJEB
2008
15 years 6 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
236
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Applying meta search systems is a suitable method to support the user if there are many different services. Due to information splitting strategies of literature services existing ...