12981 search results - page 2205 / 2597 » Model Checking (Abstract) |
144
click to vote
SEFM
2009
IEEE
15 years 11 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 ...
181
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Systems designed for the automatic summarization of meetings have considered the propositional content of contributions by each speaker, but not the explicit techniques ...
122
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—BitTorrent is a highly popular peer-to-peer filesharing protocol. Much BitTorrent activity takes place within private virtual communities called “Private Trackers” ...
153
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
151
Voted
RTCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...