1448 search results - page 25 / 290 » From Requirements to Code Revisited |
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
ER
2008
Springer
13 years 9 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
IACR
2011
12 years 7 months ago
2011
The hardware-attractive block cipher family KTANTAN was studied by Bogdanov and Rechberger who identified flaws in the key schedule and gave a meet-in-the-middle attack. We revis...
ICCV
2009
IEEE
15 years 19 days ago
2009
IEEE
We revisit stereo matching functions, a topic that is considered
well understood, from a different angle. Our goal
is to discover a transformation that operates on the cost
or s...
ENTCS
2008
13 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...