2748 search results - page 545 / 550 » Generating Object-Z Specifications from Use Cases |
99
Voted
JUCS
2008
14 years 11 months ago
2008
: In communication systems that guarantee seamless mobility of users across service areas, repeated attempts occur as a result of user behavior but also as automatic retries of blo...
86
Voted
JSAT
2006
14 years 11 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
117
Voted
PERVASIVE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper identifies a new physical correlate of finger pressure that can be detected and measured visually in a wide variety of situations. When a human finger is press...
121
Voted
SPAA
2006
ACM
15 years 5 months ago
2006
ACM
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
ICCV
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper presents a target tracking framework for unstructured
crowded scenes. Unstructured crowded scenes
are defined as those scenes where the motion of a crowd
appears to b...