Sciweavers

5630 search results - page 11 / 1126
» Computability in Specification
Sort
View
ASM
2010
ASM
13 years 11 months ago
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...
COMPUTER
2000
92views more  COMPUTER 2000»
13 years 9 months ago
An Overview of the Real-Time CORBA Specification
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
Douglas C. Schmidt, Fred Kuhns
ECCV
1996
Springer
14 years 11 months ago
Eigenfaces vs. Fisherfaces: Recognition Using Class Specific Linear Projection
Peter N. Belhumeur, João P. Hespanha, David...