1965 search results - page 116 / 393 » On the analysis of interacting pushdown systems |
AUTOMOTIVEUI
2009
ACM
14 years 3 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
APSCC
2008
IEEE
14 years 3 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
AOSE
2001
Springer
14 years 1 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
ECAI
2000
Springer
14 years 1 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...