Sciweavers

4434 search results - page 541 / 887
» On the Composition of Hybrid Systems
Sort
View
HAIS
2009
Springer
15 years 11 months ago
A Thermodynamical Model Study for an Energy Saving Algorithm
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
Enrique A. de la Cal, José Ramón Vil...
ICDCS
2009
IEEE
16 years 4 months ago
Q-Tree: A Multi-Attribute Based Range Query Solution for Tele-immersive Framework
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
Md. Ahsan Arefin, Md. Yusuf Sarwar Uddin, Indranil...
PLDI
2005
ACM
16 years 11 days ago
Composing security policies with polymer
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
Lujo Bauer, Jay Ligatti, David Walker
ICLP
2004
Springer
16 years 5 days ago
Applying CLP to Predict Extra-Functional Properties of Component-Based Models
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
Olivier Defour, Jean-Marc Jézéquel, ...
ICDCS
2009
IEEE
16 years 1 months ago
Towards Optimal Resource Utilization in Heterogeneous P2P Streaming
Though plenty of research has been conducted to improve Internet P2P streaming quality perceived by endusers, little has been known about the upper bounds of achievable performanc...
Dongyu Liu, Fei Li, Songqing Chen