Sciweavers

1628 search results - page 226 / 326
» Compiler Construction Using Scheme
Sort
View
117
Voted
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 28 days ago
Architectural Support for Global Smart Spaces
Abstract. A GLObal Smart Space (GLOSS) provides support for interaction amongst people, artefacts and places while taking account of both context and movement on a global scale. Cr...
Alan Dearle, Graham N. C. Kirby, Ronald Morrison, ...
ICDCN
2011
Springer
14 years 5 months ago
Scheduling Randomly-Deployed Heterogeneous Video Sensor Nodes for Reduced Intrusion Detection Time
This paper proposes to use video sensor nodes to provide an efficient intrusion detection system. We use a scheduling mechanism that takes into account the criticality of the surve...
Congduc Pham
106
Voted
TOG
2008
78views more  TOG 2008»
15 years 2 months ago
Subdivision shading
The idea of Phong Shading is applied to subdivision surfaces: normals are associated with vertices and the same construction is used for both locations and normals. This creates v...
Marc Alexa, Tamy Boubekeur
KBSE
2005
IEEE
15 years 8 months ago
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
Mark Hennessy, James F. Power
87
Voted
CTRSA
2009
Springer
95views Cryptology» more  CTRSA 2009»
15 years 9 months ago
Statistically Hiding Sets
Zero-knowledge set is a primitive introduced by Micali, Rabin, and Kilian (FOCS 2003) which enables a prover to commit a set to a verifier, without revealing even the size of the...
Manoj Prabhakaran, Rui Xue