Sciweavers

6199 search results - page 1197 / 1240
» Monitoring the
Sort
View
IJSNET
2007
169views more  IJSNET 2007»
14 years 11 months ago
ART: an asymmetric and reliable transport mechanism for wireless sensor networks
: Many applications developed for wireless sensor networks (WSNs) demand for Reliable communication service, since majority of these applications are event-critical applications. T...
Nurcan Tezcan, Wenye Wang
TAP
2008
Springer
93views Hardware» more  TAP 2008»
14 years 11 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
IJSWIS
2007
138views more  IJSWIS 2007»
14 years 11 months ago
Using a Natural Language Understanding System to Generate Semantic Web Content
We describe our research on automatically generating rich semantic annotations of text and making it available on the Semantic Web. In particular, we discuss the challenges involv...
Akshay Java, Sergei Nirenburg, Marjorie McShane, T...
TASE
2008
IEEE
14 years 11 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
IJWIS
2007
181views more  IJWIS 2007»
14 years 11 months ago
Answering queries over incomplete data stream histories
Streams of data often originate from many distributed sources. A distributed stream processing system publishes such streams of data and enables queries over the streams. This allo...
Alasdair J. G. Gray, Werner Nutt, M. Howard Willia...
« Prev « First page 1197 / 1240 Last » Next »