481 search results - page 43 / 97 » Toward an Abstract Computer Virology |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
STOC
2007
ACM
14 years 8 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many applications in wireless sensor networks require communication performance that is both consistent and high quality. Unfortunately, performance of current network p...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...