Sciweavers

1875 search results - page 241 / 375
» A Calculus of Broadcasting Systems
Sort
View
SPIESR
2003
230views Database» more  SPIESR 2003»
14 years 11 months ago
Bridging the semantic gap in sports
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
Baoxin Li, James H. Errico, Hao Pan, M. Ibrahim Se...
ALGOSENSORS
2010
Springer
14 years 9 months ago
From Key Predistribution to Key Redistribution
One of crucial disadvantages of key predistribution schemes for ad hoc networks is that if devices A and B use a shared key K to determine their session keys, then any adversarial...
Jacek Cichon, Zbigniew Golebiewski, Miroslaw Kutyl...
ACHI
2009
IEEE
15 years 4 months ago
Machine-Generated Multimedia Content
In this paper we describe an automated system, and its attendant set of techniques and tools, that is able to generate novel multimedia experiences. Using existing online sources,...
Nathan D. Nichols, Kristian J. Hammond
JLP
2007
86views more  JLP 2007»
14 years 10 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
ICFP
2002
ACM
15 years 10 months ago
Meta-programming with names and necessity
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
Aleksandar Nanevski