2210 search results - page 243 / 442 » Applying a Model-based Approach for Embedded System Developm... |
157
click to vote
Publication
We present ADSandbox, an analysis system for malicious websites that focusses on detecting attacks through JavaScript. Since, in contrast to Java, JavaScript does not have any bui...
147
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
159
click to vote
EUC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
195
click to vote
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
A comparison of several approaches that use graph matching and cascade filtering for landmark localisation in 3D face data is presented. For the first method, we apply the structur...
171
Voted
ACSC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...