Sciweavers

2186 search results - page 245 / 438
» Developing Educational Software Components
Sort
View
WSC
1997
15 years 8 months ago
Simulation and Control of Reactive Systems
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
Pawel Gburzynski, Jacek Maitan
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
16 years 9 days 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 16 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...