2243 search results - page 273 / 449 » Contracts for Mobile Processes |
171
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
One issue for context-aware applications is to identify without delay situations requiring reactions. The identification of these situations is computed from both dynamic context ...
174
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We present GreenHat, an interactive mobile learning application that helps students learn about biodiversity and sustainability issues in their surroundings from experts’ points...
179
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Record label companies would like to identify potential artists as early as possible in their careers, before other companies approach the artists with competing contracts. The va...
171
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
174
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...