Sciweavers

4987 search results - page 699 / 998
» Fuzzifying P Systems
Sort
View
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
ATAL
2006
Springer
15 years 10 months ago
Automated semantic web service discovery with OWLS-MX
We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...
Matthias Klusch, Benedikt Fries, Katia P. Sycara
BIRTHDAY
2006
Springer
15 years 10 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
BPM
2006
Springer
153views Business» more  BPM 2006»
15 years 10 months ago
Decision Mining in ProM
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...
Anne Rozinat, Wil M. P. van der Aalst
BSN
2006
IEEE
15 years 10 months ago
eWatch: A Wearable Sensor and Notification Platform
The eWatch is a wearable sensing, notification, and computing platform built into a wrist watch form factor making it highly available, instantly viewable, ideally located for sen...
Uwe Maurer, Anthony Rowe, Asim Smailagic, Daniel P...