3575 search results - page 422 / 715 » Presentations of computably enumerable reals |
201
click to vote
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
212
click to vote
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...
234
click to vote
SIGMETRICS
2004
ACM
16 years 9 days ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
210
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
146
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
For the majority of us, inter-personal communication is an essential part of our daily lives. Instant Messaging, or IM, has been growing in popularity for personal and workrelated...