1348 search results - page 219 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
DLS
2009
13 years 6 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
ASPLOS
2011
ACM
13 years 8 days ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
ASSETS
2010
ACM
13 years 9 months ago
2010
ACM
MobileASL is a video compression project for two-way, real-time video communication on cell phones, allowing Deaf people to communicate in the language most accessible to them, Am...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...