Sciweavers

6530 search results - page 417 / 1306
» Application Integration
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CSCW
2000
ACM
15 years 11 months ago
Data management support for asynchronous groupware
In asynchronous collaborative applications, users usually collaborate accessing and modifying shared information independently. We have designed and implemented a replicated objec...
Nuno M. Preguiça, José Legatheaux Ma...
PPDP
2000
Springer
15 years 10 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....
ETFA
2008
IEEE
16 years 1 months ago
Real-time enabled debugging for distributed systems
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
Georg Gaderer, Patrick Loschmidt, Thilo Sauter
MIDDLEWARE
2004
Springer
16 years 4 days ago
Environment mobility: moving the desktop around
In this position paper, we focus on issues related to middleware support for software mobility in ad hoc and pervasive systems. In particular, we are interested in moving the comp...
Dag Johansen, Håvard D. Johansen, Robbert va...