2661 search results - page 479 / 533 » Model Checking Performability Properties |
CIKM
1999
Springer
14 years 2 months ago
1999
Springer
Multi-dimensional, inter-transaction association rules extend the traditional association rules to describe more general associations among items with multiple properties cross tr...
MM
1993
ACM
14 years 2 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
AAIM
2007
Springer
14 years 2 months ago
2007
Springer
PI controller has attracted researchers in industrial control processes because of its simplicity and robust performance in a wide range of operating conditions. It has been used t...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...
HIPEAC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...