Sciweavers

1420 search results - page 157 / 284
» A Framework for Scheduler Synthesis
Sort
View
PAKDD
1999
ACM
149views Data Mining» more  PAKDD 1999»
15 years 11 months ago
An Analysis of Quantitative Measures Associated with Rules
In this paper, we analyze quantitative measures associated with if-then type rules. Basic quantities are identified and many existing measures are examined using the basic quantit...
Yiyu Yao, Ning Zhong
SP
2000
IEEE
15 years 10 months ago
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
John A. Clark, Jeremy L. Jacob
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 6 months ago
RRL: A Rich Representation Language for the Description of Agent Behaviour in NECA
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....
Paul Piwek, Brigitte Krenn, Marc Schröder, Ma...
CCE
2007
15 years 6 months ago
Control of integrated process networks - A multi-time scale perspective
In this paper, we analyze the dynamics of integrated process networks featuring large recycle streams and small purge streams. We consider a prototype network comprising of a reac...
Michael Baldea, Prodromos Daoutidis
DT
2000
101views more  DT 2000»
15 years 6 months ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler