Sciweavers

1866 search results - page 123 / 374
» Dynamic instantiation-checking components
Sort
View
SAC
2010
ACM
15 years 10 months ago
MetaSelf: an architecture and a development method for dependable self-* systems
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
Giovanna Di Marzo Serugendo, John S. Fitzgerald, A...
CC
2010
Springer
243views System Software» more  CC 2010»
15 years 10 months ago
Optimizing Matlab through Just-In-Time Specialization
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
Maxime Chevalier-Boisvert, Laurie J. Hendren, Clar...
119
Voted
IROS
2009
IEEE
143views Robotics» more  IROS 2009»
15 years 10 months ago
Decentralized cooperative manipulation with a swarm of mobile robots
— In this paper we consider cooperative manipulation problems where a large group (swarm) of non-articulated mobile robots is trying to cooperatively control the velocity of some...
Joel M. Esposito
ICALT
2008
IEEE
15 years 10 months ago
Moving Towards Life-Long User Modeling
User Modeling is the core component for the majority of personalization services. It has become an important factor in the effort to personalise a diversity of web resources accor...
Demetris Kyriacou, Hugh C. Davis
122
Voted
WCRE
2008
IEEE
15 years 10 months ago
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...
Trosky Boris Callo Arias, Paris Avgeriou, Pierre A...