7167 search results - page 181 / 1434 » A Technique for Invariant Generation |
145
click to vote
CAE
2007
15 years 9 months ago
2007
Recent work in non-photorealistic rendering has produced results comparable to hand-drawn artistic images. Inspiration for such techniques has come from many traditional artistic ...
203
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
201
click to vote
IAJIT
2008
15 years 7 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
199
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
212
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...