172 search results - page 15 / 35 » From Objects to Events: GEM, the Geospatial Event Model |
117
click to vote
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
92
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
92
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
99
Voted
CORR
1999
Springer
15 years 2 days ago
1999
Springer
: There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This pa...
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...