Sciweavers

4099 search results - page 306 / 820
» First Class Patterns
Sort
View
PODS
2006
ACM
122views Database» more  PODS 2006»
16 years 6 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
DCC
2001
IEEE
16 years 6 months ago
Bounds for the Multicovering Radii of Reed-Muller Codes with Applications to Stream Ciphers
The multicovering radii of a code are recent generalizations of the covering radius of a code. For positive m, the m-covering radius of C is the least radius t such that every m-tu...
Iiro S. Honkala, Andrew Klapper
COCOON
2001
Springer
15 years 11 months ago
Competitive Online Scheduling with Level of Service
d by an application in thinwire visualization, we study an abstract on-line scheduling problem where the size of each requested service can be scaled down by the scheduler. Thus o...
Ee-Chien Chang, Chee-Keng Yap
EH
1999
IEEE
122views Hardware» more  EH 1999»
15 years 11 months ago
The MorphoSys Dynamically Reconfigurable System-on-Chip
MorphoSys is a system-on-chip which combines a RISC processor with an array of reconfigurable cells. The important features of MorphoSys are coarse-grain granularity, dynamic reco...
Guangming Lu, Hartej Singh, Ming-Hau Lee, Nader Ba...
FGR
1996
IEEE
117views Biometrics» more  FGR 1996»
15 years 11 months ago
Tracking and Learning Graphs and Pose on Image Sequences of Faces
We demonstrate a system capable of tracking, in real world image sequences, landmarks such as eyes, mouth, or chin on a face. In the standard version, knowledge previously collect...
Thomas Maurer, Christoph von der Malsburg