Sciweavers

2227 search results - page 334 / 446
» Evaluation Measures for TCBR Systems
Sort
View
QEST
2009
IEEE
16 years 1 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
SECON
2008
IEEE
16 years 23 days ago
Gateway Design for Data Gathering Sensor Networks
—Innovation in gateways for data gathering sensor networks has lagged compared to advances in mote-class devices, leaving us with a limited set of options for deploying such syst...
Raluca Musaloiu-Elefteri, Razvan Musaloiu-Elefteri...
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 22 days ago
Reconciling Manual and Automated Testing: The AutoTest Experience
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mar...
ICC
2007
IEEE
145views Communications» more  ICC 2007»
16 years 22 days ago
Click on a Cluster: A Viable Approach to Scale Software-Based Routers
—Extensible software-based routers running on commodity off-the-shelf hardware and open-source operating systems have been motivated by the progress in hardware technologies and ...
Qinghua Ye, Mike H. MacGregor
ICC
2007
IEEE
161views Communications» more  ICC 2007»
16 years 21 days ago
On the Maximum Useful Number of Receiver Antennas for MRC Diversity in Cochannel Interference and Noise
— The effect of noise on the maximum useful number of receiver antennas that can be deployed in a cochannel interference diversity system is examined. The long term signalpower-t...
Norman C. Beaulieu, Xiaodi Zhang