1974 search results - page 123 / 395 » A Library System for Small-Scale Library |
102
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
DAGSTUHL
2004
15 years 4 months ago
2004
A rich semantic model of annotation is presented that distinguishes several annotation types, uses controlled vocabulary where appropriate, and supports multi-facetted characteriza...
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
109
click to vote
ISMIR
2000
Springer
15 years 6 months ago
2000
Springer
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...