Sciweavers

69 search results - page 10 / 14
» On the testability of SDL specifications
Sort
View
ADHOC
2008
135views more  ADHOC 2008»
13 years 7 months ago
Rapid design and evaluation framework for wireless sensor networks
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...
Mauri Kuorilehto, Marko Hännikäinen, Tim...
ISMB
1997
13 years 9 months ago
Functional Prediction of B. subtilis Genes from Their Regulatory Sequences
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
Tetsushi Yada, Yasushi Totoki, Takahiro Ishii, Ken...
VLDB
1995
ACM
103views Database» more  VLDB 1995»
13 years 11 months ago
Querying Shapes of Histories
We present a shape definition language, called SDC, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, l...
Rakesh Agrawal, Giuseppe Psaila, Edward L. Wimmers...
ISSA
2004
13 years 9 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
ICFEM
2010
Springer
13 years 6 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...