20655 search results - page 3692 / 4131 » Exploring Software Systems |
182
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
181
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
180
click to vote
LCPC
2005
Springer
16 years 11 days ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
197
click to vote
UIST
2004
ACM
16 years 9 days ago
2004
ACM
This paper presents an approach for tracking paper documents on the desk over time and automatically linking them to the corresponding electronic documents using an overhead video...
235
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...