984 search results - page 151 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
121
Voted
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
120
Voted
ESORICS
2007
Springer
15 years 9 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
123
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
136
Voted
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
140
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...