444 search results - page 89 / 89 » Automated Logical Verification Based on Trace Abstractions |
LPAR
2005
Springer
14 years 10 days ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
BPSC
2009
13 years 8 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
WWW
2003
ACM
14 years 7 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
BPM
2006
Springer
13 years 10 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...