2911 search results - page 459 / 583 » A Theory of Expressiveness in Mechanisms |
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
122
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
117
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
108
click to vote
PG
2007
IEEE
15 years 7 months ago
2007
IEEE
We introduce a novel mechanism for creating line drawings from three-dimensional models, which captures the dynamic nature of the drawing process. The approach takes into account ...
112
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
XML-based interchange formats for performance models provide a mechanism whereby performance model information may be transferred among modeling tools. For example, the PMIF allow...