984 search results - page 151 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
129
Voted
SBMF
2009
Springer
15 years 11 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...
128
click to vote
ESORICS
2007
Springer
15 years 10 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...
136
click to vote
3DPVT
2006
IEEE
15 years 10 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...
142
click to vote
DSRT
2005
IEEE
15 years 10 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), ...
146
click to vote
VISUALIZATION
2005
IEEE
15 years 10 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...