2339 search results - page 275 / 468 » Models and Tools for Mulan Applications |
174
click to vote
CARDIS
2004
Springer
15 years 12 months ago
2004
Springer
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
155
click to vote
FATES
2005
Springer
16 years 2 days ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
160
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
developed and standardised, for example CAN[1][2], J1850[3]. THE ELECTRONIC VEHICLE TODAYVHDL has been used to develop a simulator for automotive databus networks. This is a design...
129
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Computer users deal with large amounts of personal media often face problems in managing and exploring it. This paper presents Semantic Regions, rectangular regions that enable us...
139
click to vote
IEEESCC
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...