433 search results - page 72 / 87 » An Overview of the VigilNet Architecture |
ITP
2010
15 years 3 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
119
click to vote
GROUP
2007
ACM
15 years 3 months ago
2007
ACM
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...
107
click to vote
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
Traffic grooming continues to be a rich area of research in the context of WDM optical networks. We provide an overview of the optical and electronic grooming techniques available...
118
click to vote
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
The purpose of this paper is to provide a broad overview of the WITAS Unmanned Aerial Vehicle Project. The WITAS UAV project is an ambitious, long-term basic research project with ...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges...