Sciweavers

33 search results - page 5 / 7
» bell 2000
Sort
View
ISMIR
2000
Springer
152views Music» more  ISMIR 2000»
14 years 1 months ago
Integrating Paper and Digital Music Information Systems
Active musicians generally rely on extensive personal paper-based music information retrieval systems containing scores, parts, compositions, and arrangements of published and han...
Karen Lin, Tim Bell
WCRE
2000
IEEE
14 years 2 months ago
E/R Schema for the Datrix C/C++/Java Exchange Format
A SEF (software exchange format), such as GXL [6], TA [4] or RSF [7], is used to exchange data between tools that analyze software. Researchers at Bell Canada have specified the D...
Richard C. Holt, Ahmed E. Hassan, Bruno Laguë...
ASPDAC
2000
ACM
107views Hardware» more  ASPDAC 2000»
14 years 2 months ago
Taiwan foundry for system-in-package (SIP)
-- System-In-Package (SIP) is a cost-effective alternative to System-On-Chip (SOC) and chips with embedded memory. The key elements of SIP technology include I/O redistribution, so...
Albert Lin
ESORICS
2000
Springer
14 years 1 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
UIST
2000
ACM
14 years 2 months ago
Dynamic space management for user interfaces
We present a general approach to the dynamic representation of 2D space that is well suited for userinterface layout. We partition space into two distinct categories: full and emp...
Blaine Bell, Steven Feiner