12107 search results - page 1964 / 2422 » Software That Can Think |
152
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
157
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
208
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
RFID systems as a whole are often treated with suspicion, but the input data received from individual RFID tags is implicitly trusted. RFID attacks are currently conceived as prop...
194
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
We describe a complete hardware/software system, dubbed Universal Real-Time Navigational Assistance (URNA), which enables communication of relevant location-aware information to a...
173
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
We present a hardware and software platform for rapid prototyping of augmented sensor network systems, which may be temporarily connected to a backend infrastructure for data stora...