Sciweavers

1672 search results - page 185 / 335
» On the Development of Software Product-Family Components
Sort
View
ENTCS
2007
88views more  ENTCS 2007»
15 years 6 months ago
Behavioural Types for Service Integration: Achievements and Challenges
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
FASE
2004
Springer
15 years 12 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
COMPSAC
2005
IEEE
16 years 4 days ago
Experiences on Intrusion Tolerance Distributed Systems
Distributed systems today are very vulnerable to malicious attacks, either from insiders or outsiders. When an attacker controls a component of the system, he may steal some sensi...
Dengguo Feng, Ji Xiang
EWSPT
2000
Springer
15 years 10 months ago
Advanced Services for Process Evolution: Monitoring and Decision Support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
Ilham Alloui, Sami Beydeda, Sorana Cîmpan, V...
ICRA
2007
IEEE
137views Robotics» more  ICRA 2007»
16 years 25 days ago
Integrated Debugging of Large Modular Robot Ensembles
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
Benjamin D. Rister, Jason Campbell, Padmanabhan Pi...