2935 search results - page 411 / 587 » An Integrated Approach to High Integrity Software Verificati... |
152
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
155
click to vote
ISORC
2009
IEEE
16 years 27 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
168
click to vote
ESAW
2009
Springer
16 years 25 days ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
169
click to vote
ISW
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. The complexity of modern network architectures and the epidemic diffusion of malware require collaborative approaches for defense. We present a novel distributed system ...
175
click to vote
IEEESCC
2008
IEEE
16 years 20 days ago
2008
IEEE
Services can be characterized as activities in which providers and customers co-create value. The need for a tight collaboration between providers and customers is thus an importa...