1884 search results - page 210 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
112
click to vote
CIA
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Currently, many kinds of information agents for di erent purposes exist. However, agents from di erent systems are still unable to cooperate, even if they accurately foll...
129
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract. Today’s software systems have to deal with an increasing diversity and complexity of execution environments. Next generation applications will have to deal with the unk...
112
click to vote
INTEROP
1999
Springer
15 years 5 months ago
1999
Springer
In order to make database systems interoperate with systems beyond traditional application areas a new paradigm called \exporting database functionality" as a radical departur...
137
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...