Sciweavers

4248 search results - page 211 / 850
» Simulating hci for all
Sort
View
UML
2004
Springer
16 years 16 days ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
CCS
2003
ACM
16 years 13 days ago
The blocker tag: selective blocking of RFID tags for consumer privacy
We propose the use of “selective blocking” by “blocker tags” as a way of protecting consumers from unwanted scanning of RFID tags attached to items they may be carrying or...
Ari Juels, Ronald L. Rivest, Michael Szydlo
CODES
2002
IEEE
16 years 5 days ago
Compiler-directed customization of ASIP cores
This paper presents an automatic method to customize embedded application-specific instruction processors (ASIPs) based on compiler analysis. ASIPs, also known as embedded soft c...
T. Vinod Kumar Gupta, Roberto E. Ko, Rajeev Barua
AI
2000
Springer
15 years 11 months ago
Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
Bernard Moulin, Driss Kettani, Benjamin Gauthier, ...
RT
1999
Springer
15 years 11 months ago
Space-Time Hierarchical Radiosity
This paper presents a new hierarchical simulation algorithm allowing the calculation of radiosity solutions for time-dependent scenes where all motion is known a priori. Such solut...
Cyrille Damez, François X. Sillion