1031 search results - page 200 / 207 » Modeling and Formal Verification of Production Automation Sy... |
135
click to vote
ICAIL
2009
ACM
15 years 11 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...
175
click to vote
EGOV
2008
Springer
15 years 6 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...
155
Voted
ICSE
2000
IEEE-ACM
15 years 8 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...
167
Voted
BMCBI
2010
15 years 5 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 ...
151
click to vote
ACSAC
2008
IEEE
15 years 11 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 ...