1058 search results - page 84 / 212 » Using Different Representations of Synchronous Systems in SA... |
172
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
178
click to vote
SIGIR
1992
ACM
15 years 10 months ago
1992
ACM
ct tasks such as extraction of relational information from text [Young] [Jacobs]. We describe a method for classifying news stories using Alternative systems [Biebricher] [Lewis] u...
176
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Visual surveillance using a camera network has imposed new challenges to camera calibration. An essential problem is that a large number of cameras may not have a common field of ...
165
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
197
click to vote
DPD
2002
15 years 6 months ago
2002
A major cost in executing queries in a distributed database system is the data transfer cost incurred in transferring relations (fragments) accessed by a query from different sites...