5200 search results - page 308 / 1040 » Symbolic models for control systems |
165
Voted
ISCA
2007
IEEE
16 years 11 days ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buļ¬ered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
171
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...
156
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
154
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBACā...
173
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...