223 search results - page 19 / 45 » Automated Implicit Computational Complexity Analysis (System... |
178
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
109
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
125
Voted
SIGECOM
2006
ACM
15 years 9 months ago
2006
ACM
In multiagent systems, strategic settings are often analyzed under the assumption that the players choose their strategies simultaneously. However, this model is not always realis...
126
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
121
click to vote
DSOM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...