1128 search results - page 45 / 226 » Little Engines of Proof |
CIIT
2007
14 years 11 months ago
2007
The interfaces used by the top Web search engines have changed very little since the early days of Web search. These interfaces follow the traditional model of information retriev...
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
ACSAC
1999
IEEE
15 years 1 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
HCI
2007
14 years 11 months ago
2007
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
AIEDAM
2010
14 years 7 months ago
2010
The growing movement of biologically inspired design is driven in part by the need for sustainable development and in part by the recognition that nature could be a source of inno...