2944 search results - page 245 / 589 » On Well Quasi-orders on Languages |
223
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
242
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
297
click to vote
TON
2012
13 years 9 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
165
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
185
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Radio Frequency Identification (RFID) is a wireless technology that is emerging in consumer products as a method for input and interaction. Although RFID is relatively well known ...