1525 search results - page 229 / 305 » Integrated Systems for Inducing Spatio-Temporal Process Mode... |
148
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
160
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
132
click to vote
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
136
click to vote
ICWN
2003
15 years 5 months ago
2003
The portability of new miniaturized devices, together with their ability to connect conveniently to networks in different places, makes mobile computing possible. Recent advances ...
135
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...