3385 search results - page 553 / 677 » Observer-Conditioned-Observable Design Pattern |
204
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
170
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
An important problem for many location-based applications is the continuous evaluation of proximity relations among moving objects. These relations express whether a given set of ...
89
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
109
click to vote
MOBISYS
2007
ACM
16 years 1 months ago
2007
ACM
Abstract-- Wireless sensor networks represent a key technology enabler for enhanced health care and assisted living systems. Recent standardization efforts to ensure compatibility ...
165
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
Effective data placement strategies can enhance the performance of data-intensive applications implemented on high end computing clusters. Such strategies can have a significant i...