7124 search results - page 1246 / 1425 » Programming Languages and Operating Systems |
119
Voted
COMCOM
2006
15 years 2 months ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
138
click to vote
JFP
2007
15 years 2 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
142
click to vote
VEE
2006
ACM
15 years 8 months ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
148
Voted
MDM
2005
Springer
15 years 8 months ago
2005
Springer
Data access prediction has been proposed as a mechanism to overcome latency lag, and more recently as a means of conserving energy in mobile systems. We present a fully adaptive p...
128
click to vote
OR
2010
Springer
15 years 29 days ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...