4008 search results - page 696 / 802 » An expressive language of signatures |
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
Within the world of multimedia, the new MPEG-21 standard is currently under development. The purpose of this new standard is to create an open framework for multimedia delivery an...
ICNP
2005
IEEE
14 years 4 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
ASPDAC
2005
ACM
14 years 4 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
HT
2005
ACM
14 years 4 months ago
2005
ACM
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...