4029 search results - page 169 / 806 » Experience with Software Watermarking |
152
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
136
Voted
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
151
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
This project explores the social possibilities of mobile technology in transitional spaces such as public transport. Based on a cultural probes study of Stockholm subway commuters...
168
Voted
VL
2007
IEEE
15 years 11 months ago
2007
IEEE
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
124
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...