1066 search results - page 108 / 214 » A Wearable Communication Modulator |
CC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
WSC
2008
13 years 10 months ago
2008
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
DSD
2008
IEEE
13 years 10 months ago
2008
IEEE
We discuss the issue of reliable transmission of bounded streams of data samples over simple wireless channels offered by low-end RF modules. Traditional solutions, i.e., window-b...
IDL
1994
13 years 9 months ago
1994
Large softwaresystemsrequiredecompositionalmechanismsinorder tomake themtractable. Traditionally, MILs and IDLs have played this role by providing notations based on definition/us...
COLING
1990
13 years 9 months ago
1990
: Noncanonical semantic representations are representations which cannot be derived by some grammar G although they are semanticMly equivalent to representations which can be deriv...