10263 search results - page 1842 / 2053 » From Use Cases to System Operation Specifications |
145
click to vote
ISSTA
2009
ACM
16 years 19 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
177
click to vote
ICYCS
2008
IEEE
16 years 16 days ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
154
click to vote
ISVLSI
2007
IEEE
16 years 12 days ago
2007
IEEE
Power line communications (PLC) using impulse ultra wideband (UWB) in a microprocessor had been proposed for ubiquitous access of internal nodes for test/debug purposes. In this p...
189
click to vote
CIARP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper presents a methodology for the automatic segmentation of rock-scenes using a combination of range and intensity vision. A major problem in rock scene segmentat...
167
Voted
MSN
2007
Springer
16 years 7 days ago
2007
Springer
We have developed a self-healing key distribution scheme for secure multicast group communications for wireless sensor network environment. We present a strategy for securely distr...