1121 search results - page 140 / 225 » Building Formal Requirements Models for Reliable Software |
138
click to vote
AINA
2010
IEEE
15 years 9 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
125
click to vote
EDOC
2000
IEEE
15 years 8 months ago
2000
IEEE
Jini is a technology for building reliable, fault-tolerant distributed applications. Besides offering an infrastructure for clients to locate services, it introduces the concept o...
129
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
133
click to vote
SP
2007
IEEE
15 years 10 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
127
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...