1937 search results - page 127 / 388 » Starting B Specifications from Use Cases |
133
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
140
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...
144
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
134
click to vote
JUCS
2006
15 years 4 months ago
2006
: A sequence of increasing translation invariant subspaces can be defined by the Haar-system (or generally by wavelets). The orthogonal projection to the subspaces generates a deco...
218
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...