Sciweavers

1401 search results - page 118 / 281
» Interactive Configuration Management for Distributed Object ...
Sort
View
JCIT
2010
126views more  JCIT 2010»
14 years 12 months ago
Development of Low Cost Message Delivery Path for Mobile Agent Communication
The location management ability of a mobile agent system which enables a mobile agent to interact with others accurately by message passing beyond doubts stands important for the ...
Tzong I Wang, Ting-Yuan Yeh
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
ATC
2007
Springer
15 years 11 months ago
An Architecture for Self-healing Autonomous Object Groups
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
Hein Meling
IPPS
1998
IEEE
15 years 9 months ago
A Java Development and Runtime Environment for Reconfigurable Computing
Fast runtime reconfigurable hardware enables system designers to swap hardware into and out of an FPGA much as the pages of virtual memory are swapped into and out of virtual memor...
Don Davis, Michael Barr, Toby Bennett, Stephen Edw...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 9 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert