Sciweavers

4327 search results - page 723 / 866
» Web presentation system using RST events
Sort
View
SP
1998
IEEE
173views Security Privacy» more  SP 1998»
15 years 9 months ago
An Automated Approach for Identifying Potential Vulnerabilities in Software
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
Anup K. Ghosh, Tom O'Connor, Gary McGraw
AI
2007
Springer
15 years 5 months ago
From here to human-level AI
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...
John McCarthy
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
15 years 10 months ago
Is web-based seminar an effective way of learning in adult education?
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...
Pekka Makkonen
EON
2008
15 years 6 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
LOCA
2007
Springer
15 years 11 months ago
SocialMotion: Measuring the Hidden Social Life of a Building
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
Christopher Richard Wren, Yuri A. Ivanov, Ishwinde...