Sciweavers

1458 search results - page 184 / 292
» Extended Term Rewriting Systems
Sort
View
COMAD
2009
15 years 2 months ago
When to Trigger Active Rules?
Active rules model and enforce enterprise requirements such as situation monitoring using events, conditions and actions. These rules are termed active rules as they make the unde...
Raman Adaikkalavan, Sharma Chakravarthy
ENTCS
2010
133views more  ENTCS 2010»
15 years 1 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
14 years 8 months ago
The role of social feedback in steady-state performance of human decision making for two-alternative choice tasks
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
Andrew Reed Stewart, Naomi Ehrich Leonard
TWC
2010
14 years 7 months ago
A Novel Graph-Based Suboptimal Multiuser Detector for FDM-CPM Transmissions
We consider a frequency division multiplexed (FDM) system where each user employs a continuous phase modulation (CPM), serially concatenated with an outer code through an interleav...
Amina Piemontese, Giulio Colavolpe
RTAS
2011
IEEE
14 years 4 months ago
Maximizing Contention-Free Executions in Multiprocessor Scheduling
—It is widely assumed that scheduling real-time tasks becomes more difficult as their deadlines get shorter. With deadlines shorter, however, tasks potentially compete less with...
Jinkyu Lee, Arvind Easwaran, Insik Shin