1528 search results - page 189 / 306 » Performance Assertion Checking |
126
Voted
MAM
2008
15 years 2 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
97
Voted
MONET
2006
15 years 2 months ago
2006
Enabled by regulatory initiatives and advanced radio technology, more flexible opportunistic spectrum access has great potential to alleviate the spectrum scarcity. In this paper,...
115
click to vote
STTT
2008
15 years 2 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
118
click to vote
IJSNET
2007
15 years 2 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...
117
Voted
CJ
2004
15 years 2 months ago
2004
Digital signatures have been proposed by several researchers as a way of preventing execution of malicious code. In this paper we propose a general architecture for performing the...