238 search results - page 33 / 48 » Support for authoring service front-ends |
NDSS
2000
IEEE
15 years 2 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...
RTCSA
1995
IEEE
15 years 1 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
CCS
2003
ACM
15 years 3 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...
164
Voted
GIS
2007
ACM
15 years 11 months ago
2007
ACM
We consider trails to be a document type of growing importance, authored in abundance as locative technologies become embedded in mobile devices carried by billions of humans. As ...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Mobile phones are becoming increasingly personalized in terms of the data they store and the types of services they provide. At the same time, field studies have reported that the...