9186 search results - page 1359 / 1838 » A Module System for Scheme |
147
Voted
WPES
2004
ACM
16 years 8 days 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...
228
Voted
AMAST
2004
Springer
16 years 8 days ago
2004
Springer
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
197
Voted
ECAI
2004
Springer
16 years 8 days 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...
195
Voted
ECOOP
2004
Springer
16 years 8 days 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...
209
Voted
MIDDLEWARE
2004
Springer
16 years 6 days ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...