145 search results - page 5 / 29 » Flow engineering for physical implementation: theory and pra... |
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
101
click to vote
ANCS
2008
ACM
14 years 11 months ago
2008
ACM
We describe the implementation of an OpenFlow Switch on the NetFPGA platform. OpenFlow is a way to deploy experimental or new protocols in networks that carry production traffic. ...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
VISUALIZATION
1992
IEEE
15 years 1 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...