Sciweavers

1699 search results - page 137 / 340
» A timed semantics of Orc
Sort
View
RTAS
2007
IEEE
14 years 2 months ago
Resource-Locking Durations in EDF-Scheduled Systems
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah
FTRTFT
1994
Springer
14 years 7 days ago
Specification and Refinement of Finite Dataflow Networks - a Relational Approach
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
Manfred Broy, Ketil Stølen
SIGMOD
2007
ACM
156views Database» more  SIGMOD 2007»
14 years 8 months ago
Mashup Feeds: : continuous queries over web services
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
Arsany Sawires, Divyakant Agrawal, Jun'ichi Tatemu...
AI
2008
Springer
14 years 2 months ago
Finding Topics in Email Using Formal Concept Analysis and Fuzzy Membership Functions
In this paper, we present a method to identify topics in email messages. The formal concept analysis is adopted as a semantic analysis method to group emails containing the same ke...
Liqiang Geng, Larry Korba, Yunli Wang, Xin Wang, Y...
RR
2007
Springer
14 years 2 months ago
AceRules: Executing Rules in Controlled Natural Language
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
Tobias Kuhn