CAISE
2007
Springer
13 years 11 months ago
2007
Springer
Innovative networked value constellations, such as Cisco or Dell, are often enabled by Information Technology (IT). The same holds for the Distributed Electricity Balancing Service...
AOSE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
13 years 11 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
SOSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
ICSM
2008
IEEE
13 years 11 months ago
2008
IEEE
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
CHI
2010
ACM
13 years 11 months ago
2010
ACM
Stroke is a significant cause of disability, and is predicted to become a greater burden as population demographics shift. Research suggests that the completion of rehabilitation ...
MEDES
2009
ACM
13 years 11 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...