Sciweavers

5180 search results - page 231 / 1036
» Requirements Engineering
Sort
View
AC
2003
Springer
15 years 10 months ago
System Support for Pervasive Applications
To make pervasive computing a reality, we need better system support for building, deploying, and using pervasive applications. In this paper, we identify the unique requirements ...
Robert Grimm, Brian N. Bershad
EMSOFT
2001
Springer
15 years 10 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
ICFEM
2000
Springer
15 years 9 months ago
Using Use Cases in Executable Z
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
Wolfgang Grieskamp, Markus Lepper
ECSA
2008
Springer
15 years 7 months ago
A Security Model for Internet-Based Digital Asset Management Systems
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
Ioannis Chatzigiannakis, Vasiliki Liagkou, D. Salo...
IESA
2009
15 years 3 months ago
Organizational Interoperability Supported through Goal Alignment with BMM and Service Collaboration with SoaML
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
Fenglin Han, Espen Moller, Arne-Jørgen Berr...