308 search results - page 47 / 62 » Modular Verification of Interactive Systems with an Applicat... |
87
Voted
JSAC
2010
14 years 10 months ago
2010
—Wireless Multimedia Sensor Networks (WMSNs) are distributed systems of wirelessly networked devices that allow retrieving video and audio streams, still images, and scalar senso...
67
Voted
RECOMB
2008
Springer
15 years 12 months ago
2008
Springer
Protein interactions and complexes are major components of biological systems. Recent genome-wide applications of tandem affinity purification (TAP) in yeast have increased signifi...
115
click to vote
APCCM
2008
15 years 1 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
102
click to vote
DAC
2004
ACM
16 years 18 days ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
Graph composition has applications in a variety of practical applications. In drug development, for instance, in order to understand possible drug interactions, one has to merge k...