Sciweavers

2542 search results - page 389 / 509
» integration 2010
Sort
View
SPE
2010
167views more  SPE 2010»
14 years 11 months ago
Comparing practices for reuse in integration-oriented software product lines and large open source software projects
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
Jilles van Gurp, Christian Prehofer, Jan Bosch
SSS
2010
Springer
143views Control Systems» more  SSS 2010»
14 years 11 months ago
Lightweight Live Migration for High Availability Cluster Service
High availability is a critical feature for service clusters and cloud computing, and is often considered more valuable than performance. One commonly used technique to enhance the...
Bo Jiang, Binoy Ravindran, Changsoo Kim
119
Voted
STTT
2010
122views more  STTT 2010»
14 years 11 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
131
Voted
SUTC
2010
IEEE
14 years 11 months ago
UbiMASS
—Ubiquitous systems build on the vision that great amounts of fixed and mobile microchips and sensors will be integrated in everyday objects. Developing services on basis of sen...
Faruk Bagci, Julian Wolf, Benjamin Satzger, Theo U...
SUTC
2010
IEEE
14 years 11 months ago
Battery Level Estimation of Mobile Agents under Communication Constraints
We consider a team of mobile agents where a leader has to monitor battery levels of all other agents. Only the leader is capable to transmit information to other agents. Every now...
Jonghoek Kim, Fumin Zhang, Magnus Egerstedt