2139 search results - page 77 / 428 » Connecting language to the world |
155
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
206
click to vote
FP
1992
15 years 10 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
157
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
Distribution of media in the fast growing world of digital stored content and multimedia supporting devices with connectivity, calls for a new media distribution architecture. The...
143
click to vote
HICSS
2007
IEEE
16 years 16 days ago
2007
IEEE
Locating physical devices and accessing their functionality in pervasive environments is strongly restricted by their locality. Since there are more and more devices available, wa...
145
click to vote
WMCSA
2000
IEEE
15 years 10 months ago
2000
IEEE
Networked Surfaces are surfaces which provide network connectivity to specially augmented objects, when these objects are physically placed on top of the surface. When an object (...