3116 search results - page 428 / 624 » Positively dependent types |
164
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
160
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— After identifying that current GMPLS specifications only allow for the implementation of a call blocking mode of operation that handles immediate-request calls (not book-ahead...
158
click to vote
ICRA
2006
IEEE
16 years 18 days ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
172
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
155
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...