5414 search results - page 290 / 1083 » Exploratory Model Building |
200
click to vote
MASCOTS
1993
15 years 8 months ago
1993
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
163
click to vote
FMSD
1998
15 years 6 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
158
click to vote
IEE
1998
15 years 6 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
174
click to vote
JUCS
2010
15 years 5 months ago
2010
: Sensor-line cameras have been designed for space missions in the 1980s, and are used for various tasks, including panoramic imaging. Laser range-finders are able to generate den...
140
click to vote
HCI
2009
15 years 4 months ago
2009
To build software which, at the press of a button, can tell you what cognition related hazards there are within an environment or a task, is probably well into the future if it is ...