7225 search results - page 283 / 1445 » Software is data too |
147
Voted
POPL
1999
ACM
15 years 10 months ago
1999
ACM
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
146
Voted
OOPSLA
1998
Springer
15 years 10 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
123
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
Virtual memory-mapped communication (VMMC) is a communication model providing direct data transfer between the sender's and receiver's virtual address spaces. This model...
163
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
186
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...