420 search results - page 81 / 84 » A poset framework to model decentralized control problems |
IJDSN
2006
13 years 7 months ago
2006
Abstract-- We present a novel formulation of the problem of energy misbehavior and develop an analytical framework for quantifying its impact on other nodes. Specifically, we formu...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
AAAI
2004
13 years 9 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
—Malware attacks constitute a serious security risk that threatens to slow down the large scale proliferation of wireless applications. As a first step towards thwarting this se...
ESWS
2011
Springer
12 years 11 months ago
2011
Springer
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...