8499 search results - page 147 / 1700 » cans 2009 |
168
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
172
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
126
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Recent proposals for privacy pictograms show a growing interest of simplifying privacy-related statements. Such pictograms can be useful to enhance the users' understanding ...
138
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The ubiquity and personalization of mobile phones makes them a promising platform for advertising. Currently, practices known from online advertisement can be adapted, e.g. conte...
149
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Video Streams of optical camera system are analysed by a video processing software which detects moving objects in the video. They are presented in image pixel coordinates. With ...