4418 search results - page 420 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
194
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
175
Voted
ECOOPW
1997
Springer
15 years 11 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
188
click to vote
ACRI
2004
Springer
16 years 8 days ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
191
Voted
BMVC
2002
15 years 9 months ago
2002
A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures ...
150
click to vote
TLT
2010
15 years 1 months ago
2010
Evidence from a range of studies indicates the potential that mobile technologies have to support important aspects of learning. However, it is clear from a number of study finding...