391 search results - page 64 / 79 » On Time-Aware Instrumentation of Programs |
120
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
146
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
CSREASAM
2006
15 years 3 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...
104
click to vote
IADIS
2004
15 years 3 months ago
2004
The aim of this paper is to discourse about the utilization of electronic government as an instrument of State's social control, with the intensification of the use of inform...
115
click to vote
ISTA
2003
15 years 3 months ago
2003
: A growing number of universities and companies are now becoming focused on promoting learning that is not merely instrumental. These aspirations refer to deep learning, transform...