3259 search results - page 162 / 652 » Modeling Autonomous-System Relationships |
173
click to vote
TAMC
2009
Springer
16 years 28 days ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
192
click to vote
JCDL
2009
ACM
16 years 27 days ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...
164
click to vote
FDL
2008
IEEE
16 years 26 days ago
2008
IEEE
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
164
click to vote
FGCN
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper proposes a novel secure query processing model for semantic sensor networks. A semantic sensor network (SSN) is a sensor network which includes semantics of sensory dat...
162
click to vote
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
16 years 17 days ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...