877 search results - page 136 / 176 » How to Cover a Grammar |
108
Voted
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a methodology, an environment and supporting tools to map an application on a wireless sensor network (WSN). While the method is quite general, we use extensively an exa...
116
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
128
click to vote
EUROPKI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
98
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
113
Voted
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...