7557 search results - page 737 / 1512 » Modeling Timed Concurrent Systems |
210
click to vote
APCCM
2008
15 years 9 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
315
click to vote
JUCS
2002
15 years 7 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
178
click to vote
SIGMETRICS
2003
ACM
16 years 21 days ago
2003
ACM
In this paper we present a scalable model of a network of Active Queue Management (AQM) routers serving a large population of TCP flows. We present efficient solution techniques...
157
click to vote
AAAI
1993
15 years 8 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
211
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents an adaptive causal model method (adaptive CMM) for fault diagnosis and recovery in complex multi-robot teams. We claim that a causal model approach is effec...