320 search results - page 32 / 64 » Constructing Invariants for Hybrid Systems |
171
click to vote
ICC
2007
IEEE
16 years 5 days ago
2007
IEEE
—A hybrid protocol for application level multicast (HPAM) for live video streaming without native IP multicast support is proposed. HPAM exploits the simplicity and optimality of...
190
click to vote
AINA
2006
IEEE
15 years 12 months ago
2006
IEEE
Efficient service discovery in dynamic, crossorganizational VO is one of the challenge aspects in ChinaGrid. Network overlay and search algorithms are two important considerations...
171
click to vote
JPDC
2006
15 years 5 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
151
click to vote
AIEDU
2005
15 years 5 months ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
150
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...