1059 search results - page 42 / 212 » Unification-Based Semantic Interpretation |
SAS
2009
Springer
16 years 11 days ago
2009
Springer
Interpretation of FIFO Replacement Daniel Grund and Jan Reineke Saarland University, Saarbr?ucken, Germany In hard real-time systems, the execution time of programs must be bounded...
120
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
213
click to vote
POPL
2003
ACM
16 years 4 days ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Much data is published on the Web in XML format satisfying schemas, and to make the Semantic Web a reality, such data needs to be interpreted with respect to ontologies. ...
JANCL
2007
14 years 11 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...