1280 search results - page 114 / 256 » Soft Typing with Conditional Types |
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
MCFNS
2010
13 years 4 months ago
2010
Between September 2008 and September 2009, data were collected with a Garmin Oregon 300 recreation-grade GPS receiver nearly every day, under a variety of environmental conditions....
TWC
2010
13 years 3 months ago
2010
This paper proposes a framework for distributed sequential parameter estimation in wireless sensor networks. In the proposed scheme, the estimator is updated sequentially at the c...
ISBI
2011
IEEE
13 years 29 days ago
2011
IEEE
While basic principles of microtubule organization are well understood, much remains to be learned about the extent and significance of variation in that organization among cell t...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...