308 search results - page 52 / 62 » An Interactive Visual Analytics System for Bridge Management |
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
121
click to vote
JOT
2008
14 years 9 months ago
2008
The purpose of this article is to provide a brief insight about how to link your business vision, goals, strategies, tactics as well as business rules according to BMM, then bridg...
IJAMC
2010
14 years 8 months ago
2010
: This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. D...
153
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
108
click to vote
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
Information empowers those who make sense from its successful interpretation; this is especially true on the subject of weather where the recipient is required to have prior forms...