2748 search results - page 522 / 550 » Generating Object-Z Specifications from Use Cases |
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
MSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Mariner is an iSCSI-based storage system that is de signed to provide comprehensive data protection on com modity ATA disk and Gigabit Ethernet technologies while offering the...
118
click to vote
SMA
1993
ACM
15 years 3 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
117
click to vote
CF
2007
ACM
15 years 3 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
122
click to vote
AMDO
2000
Springer
15 years 3 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...