29082 search results - page 5736 / 5817 » The Time-Triggered Model of Computation |
CSCW
2010
ACM
14 years 2 months ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
A noise map facilitates monitoring of environmental noise pollution in urban areas. It can raise citizen awareness of noise pollution levels, and aid in the development of mitigat...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
WOLLIC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
APSEC
2002
IEEE
14 years 2 months ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...