3799 search results - page 214 / 760 » An Engineering Approach to Formal Methods |
157
click to vote
WSCG
2004
15 years 6 months ago
2004
Volume rendering is a widespread method for displaying graphical models in fields such as medical visualization or engineering. The required image information is stored in a volum...
143
click to vote
SADFE
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...
127
Voted
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
: Computer simulation on random motion of numerous moving spheres is widely used. This paper presents a collision-event-driven approach that efficiently implements the simulation o...
131
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Fulfilling the potential of Agile development depends on people truly wanting to change how they work. Transitioning to new methods of development is particularly daunting in a la...
136
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...