1031 search results - page 200 / 207 » Modeling and Formal Verification of Production Automation Sy... |
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
EGOV
2008
Springer
13 years 9 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
BMCBI
2010
13 years 7 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...