12774 search results - page 2266 / 2555 » A Framework for Proof Systems |
172
click to vote
ISCC
2003
IEEE
16 years 23 hour ago
2003
IEEE
In this article, we investigate efficient transmission of Object-based MPEG-4 video over IP networks with QoS management capabilities. MPEG-4 Audio Visual Objects (AVOs) are class...
209
click to vote
ISORC
2003
IEEE
16 years 22 hour ago
2003
IEEE
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
177
click to vote
LCN
2003
IEEE
16 years 20 hour ago
2003
IEEE
This paper proposes a new framework in mobile ad hoc networks (MANET) for reliable multipath routing with fixed delays based on packet level Forward Error Control (FEC). The nove...
170
click to vote
MSE
2003
IEEE
16 years 20 hour ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
206
click to vote
PERCOM
2003
ACM
16 years 19 hour ago
2003
ACM
To programmatically discover and interact with services in ubiquitous computing environments, an application needs to solve two problems: (1) is it semantically meaningful to inte...