3384 search results - page 23 / 677 » More Testable Properties |
ITS
2010
Springer
14 years 1 months ago
2010
Springer
Mily’s World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical represen...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
We compare the properties of intensity and color edges in photographs of real scenes and paintings. We demonstrate that paintings contain significantly more color-only edges, wher...
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...
STTT
2010
13 years 3 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
ITS
2010
Springer
13 years 6 months ago
2010
Springer
Mily's World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical repre...