9186 search results - page 1359 / 1838 » A Module System for Scheme |
115
click to vote
WPES
2004
ACM
15 years 10 months ago
2004
ACM
A “blocker” tag is a form of privacy-enhancing radio-frequency identification (RFID) tag. It operates by interfering with the protocol in which a reader communicates individua...
169
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
143
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
158
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
148
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...