1995 search results - page 239 / 399 » From Data Flow Networks to Process Algebras |
190
click to vote
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
245
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Sensor networks play a central role in applications that monitor variables in geographic areas such as the traffic volume on roads or the temperature in the environment. A key fea...
142
click to vote
HICSS
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper investigates the role of language in accessing information on the Internet. We combined data about website visitors through log-file analysis with data about web-hosts ...
151
click to vote
IDEAS
2006
IEEE
15 years 12 months ago
2006
IEEE
Tracking and tracing individual items is a new and emerging trend in many industries. Driven by maturing technologies such as Radio-Frequency Identification (RFID) and upcoming s...
169
click to vote
BIBM
2008
IEEE
16 years 9 days ago
2008
IEEE
In the post-genomic era, the organization of genes into networks has played an important role in characterizing the functions of individual genes and the interplay between them. I...