Sciweavers

3238 search results - page 356 / 648
» Not Enough Points Is Enough
Sort
View
RTSS
2003
IEEE
16 years 48 min ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
RTSS
2003
IEEE
16 years 45 min ago
JAM: A Jammed-Area Mapping Service for Sensor Networks
Preventing denial-of-service attacks in wireless sensor networks is difficult primarily because of the limited resources available to network nodes and the ease with which attacks...
Anthony D. Wood, John A. Stankovic, Sang Hyuk Son
DOCENG
2003
ACM
15 years 12 months ago
Model driven architecture based XML processing
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
Ivan Kurtev, Klaas van den Berg
IUI
2003
ACM
15 years 12 months ago
Abbreviated text input
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
Stuart M. Shieber, Ellie Baker
KCAP
2003
ACM
15 years 12 months ago
Using transformations to improve semantic matching
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
Peter Z. Yeh, Bruce W. Porter, Ken Barker