Sciweavers

5409 search results - page 208 / 1082
» Basic Observables for Processes
Sort
View
ICSAP
2009
15 years 23 days ago
Omnidirectional Surveillance System for Digital Home Security
This paper proposed an efficient omnidirectional surveillance system for digital home security. In this surveillance system, the omnidirectional scenes in a room, kitchen, car porc...
Wai Kit Wong, Joanne Tze Yen Liew, Chu Kiong Loo, ...
SKG
2006
IEEE
15 years 9 months ago
Service Discovery Protocol in Wireless Sensor Networks
Sensor network is a novel technology about acquiring and processing information. This paper introduces the basic interaction patterns between requesters and providers of services ...
Xin-lian Zhou, Min Wu
SIGMETRICS
1996
ACM
15 years 7 months ago
RAIDframe: Rapid Prototyping for Disk Arrays
abstraction and a mechanized execution strategy, we are able to quickly construct working prototypes which can immediately be evaluated each of three environments: a device driver ...
William V. Courtright II, Garth A. Gibson, Mark Ho...
SIGLEX
1991
15 years 6 months ago
Representation of Semantic Knowledge with Term Subsumption Languages
One problem in the design of a lexicon for natural language processing is the representation of semantic knowledge. We examine the adequacy of knowledge representation formalisms ...
Gerrit Burkert, Peter Forster
JISBD
2001
15 years 4 months ago
Verifying Reuse Contracts with a Component Model
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
Agustín Cernuda del Río, José...