7557 search results - page 93 / 1512 » Modeling Timed Concurrent Systems |
112
click to vote
SEFM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
134
click to vote
IJCAI
2001
15 years 2 months ago
2001
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
108
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
134
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we show through detailed simulations that BitTorrent can be used to assist a server or content distribution network (CDN) for large-scale streaming delivery. Speci...