Sciweavers

5630 search results - page 11 / 1126
» Computability in Specification
Sort
View
104
Voted
ASM
2010
ASM
15 years 4 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»
15 years 2 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
16 years 4 months ago
Eigenfaces vs. Fisherfaces: Recognition Using Class Specific Linear Projection
Peter N. Belhumeur, João P. Hespanha, David...