29172 search results - page 224 / 5835 » Modeling Systems in CLP |
143
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
139
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—In this paper, we present a method to analyze different implementations of stream-based applications on heterogeneous multiprocessor systems. We take both resource usage and per...
170
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
143
click to vote
WSC
2007
15 years 8 months ago
2007
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...
167
click to vote
IDA
2010
Springer
15 years 8 months ago
2010
Springer
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...