15155 search results - page 2631 / 3031 » System Software |
173
click to vote
FOSSACS
2005
Springer
16 years 9 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 ...
197
click to vote
ICA3PP
2005
Springer
16 years 9 days ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
192
click to vote
UIST
2004
ACM
16 years 6 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...
231
click to vote
ATAL
2004
Springer
16 years 5 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-...
209
click to vote
EMSOFT
2004
Springer
16 years 5 days ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...