4731 search results - page 408 / 947 » Securing Interactive Programs |
161
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
165
click to vote
CASSIS
2004
Springer
16 years 8 days ago
2004
Springer
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
145
click to vote
LRE
2008
15 years 6 months ago
2008
As part of a project to construct an interactive program which would encourage children to play with language by building jokes, we developed a lexical database, starting from Word...
135
Voted
IJET
2007
15 years 6 months ago
2007
— This paper introduces the Online Customization and Enrollment Application Network (OCEAN), developed in the School of Engineering at the University of Bridgeport. OCEAN is an i...
155
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Safe & Sound uses location-aware mobile phones to create a "virtual leash"; a secure zone beyond which a child may not travel. If the child leaves this zone, both ch...