2500 search results - page 245 / 500 » Specifying Behavior in C |
237
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
249
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
147
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Business processes drive the operations of an enterprise. In the past, the focus was primarily on business process design, modeling, and automation. Recently, enterprises have rea...
143
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
For complex robotic tasks (manipulation, locomotion, haptics, ...), the lack of knowledge of precise interaction models, the difficulties to precisely measure the task associated ...
152
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...