Sciweavers

394 search results - page 60 / 79
» Composition mechanisms for retrenchment
Sort
View
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
14 years 3 months ago
Robotic submerged microhandling controlled by pH swithching
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
Jérôme Dejeu, Patrick Rougeot, Micha&...
LICS
2009
IEEE
14 years 3 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
MSR
2009
ACM
14 years 3 months ago
A platform for software engineering research
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
Georgios Gousios, Diomidis Spinellis
ICAS
2008
IEEE
169views Robotics» more  ICAS 2008»
14 years 3 months ago
Towards Autonomic Service Control in Next Generation Networks
Current standardization efforts aim towards a unifying platform for fixed and mobile telecommunication services. The IP multimedia subsystem is advocated as the candidate for buil...
Andreas Klenk, Michael Kleis, Benoit Radier, Sanaa...
COMSWARE
2007
IEEE
14 years 3 months ago
A Peer-to-Peer Scheme to Discover and Select QoS Enhanced Alternate Paths
— Increasing number of communication softwares are built on distributed architectures based on the Peer-toPeer (P2P) model, such as Skype [1], and PeerCast [2]. This model provid...
Thierry Rakotoarivelo, Patrick Sénac, Aruna...