7557 search results - page 1242 / 1512 » Modeling Timed Concurrent Systems |
177
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
Generally, the real-time applications exchange information on dedicated network and the other traffic is supported by another communication system. The differentiation of these tw...
1526
Voted
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
195
click to vote
DAC
1989
ACM
15 years 11 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
166
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
194
click to vote
AAAI
2007
15 years 9 months ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...