7121 search results - page 1318 / 1425 » Functions as Session-Typed Processes |
148
Voted
CSFW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
131
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
Currently, only Xilinx Field Programmable Gate Arrays (FPGAs) support Dynamic Partial Reconfiguration (DPR). While there is currently some Computer Aided Design (CAD) tool support...
155
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
CALLAWAY, ROBERT DAVID. An Autonomic Service Delivery Platform for Service-Oriented Network Environments. (Under the direction of Michael Devetsikiotis and Yannis Viniotis.) Servi...
167
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We describe a framework for detecting and tracking continuous ”trails” in images and image sequences for autonomous robot navigation. Continuous trails are extended...
155
Voted
MOBIQUITOUS
2008
IEEE
15 years 10 months ago
2008
IEEE
VESPA (Vehicular Event Sharing with a mobile P2P Architecture) 1 is a system for enabling vehicles to share information in vehicular ad-hoc networks (VANETs). The originality of V...