480 search results - page 47 / 96 » Understanding the Behavior of Java Programs |
128
click to vote
WWW
2010
ACM
15 years 23 days ago
2010
ACM
Consider an online ad campaign run by an advertiser. The ad serving companies that handle such campaigns record users' behavior that leads to impressions of campaign ads, as ...
100
click to vote
LISP
2008
15 years 15 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
112
click to vote
MBEES
2010
15 years 2 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
141
click to vote
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
105
Voted
KI
2010
Springer
14 years 10 months ago
2010
Springer
A robot that is to assist humans in everyday activities should not only be efficient, but also choose actions that are understandable for a person. One characteristic of human task...