Sciweavers

1800 search results - page 297 / 360
» A component model for internet-scale applications
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
14 years 12 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
DKE
2007
116views more  DKE 2007»
14 years 11 months ago
A concurrent rule scheduling algorithm for active rules
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich
JCP
2007
243views more  JCP 2007»
14 years 11 months ago
Adaptive-Gain Kinematic Filters of Orders 2-4
- The kinematic filter is a common tool in control and signal processing applications dealing with position, velocity and other kinematical variables. Usually the filter gain is gi...
Naum Chernoguz
JSW
2007
123views more  JSW 2007»
14 years 11 months ago
A Taxonomy for a Constructive Approach to Software Evolution
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
SIAMCOMP
2002
90views more  SIAMCOMP 2002»
14 years 11 months ago
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
Idit Keidar, Roger Khazan