5457 search results - page 832 / 1092 » Software Component Independence |
192
click to vote
ICSEA
2006
IEEE
16 years 23 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
148
click to vote
ICSM
2006
IEEE
16 years 23 days ago
2006
IEEE
E-commerce applications are designed to streamline the business processes for an organization. Graphical user interfaces allow business users to perform daily business activities ...
173
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
170
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
In this paper we present a novel system for monitoring a computer user’s posture and activities in front of the computer (e.g., reading, speaking on the phone, etc.) for self-re...
170
click to vote
IUI
2006
ACM
16 years 20 days ago
2006
ACM
There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an over...