Sciweavers

5630 search results - page 11 / 1126
» Computability in Specification
Sort
View
ASM
2010
ASM
15 years 1 months ago
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...
88
Voted
TCSB
2010
14 years 10 months ago
A Language for Biochemical Systems: Design and Formal Specification
Michael Pedersen, Gordon D. Plotkin
COMPUTER
2000
92views more  COMPUTER 2000»
14 years 11 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 1 months ago
Eigenfaces vs. Fisherfaces: Recognition Using Class Specific Linear Projection
Peter N. Belhumeur, João P. Hespanha, David...