Sciweavers

8190 search results - page 240 / 1638
» From Timed to Hybrid Systems
Sort
View
CP
2010
Springer
15 years 5 months ago
An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
Roman van der Krogt, Jacob Feldman, James Little, ...
DCFS
2011
66views more  DCFS 2011»
14 years 6 months ago
Kleene Theorems for Product Systems
We prove Kleene theorems for two subclasses of labelled product systems which are inspired from well-studied subclasses of 1bounded Petri nets. For product T-systems we define a c...
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
WWW
2005
ACM
16 years 7 months ago
Analysis of multimedia workloads with implications for internet streaming
In this paper, we study the media workload collected from a large number of commercial Web sites hosted by a major ISP and that collected from a large group of home users connecte...
Lei Guo, Songqing Chen, Zhen Xiao, Xiaodong Zhang
APSEC
2006
IEEE
16 years 21 days ago
Secrobat: Secure and Robust Component-based Architectures
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...
Artem Vorobiev, Jun Han
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
16 years 1 months ago
Design and simulation of a joint-coupled orthosis for regulating FES-aided gait
—A hybrid functional electrical stimulation (FES)/orthosis system is being developed which combines two channels of (surface-electrode-based) electrical stimulation with a comput...
Ryan J. Farris, Hugo A. Quintero, Thomas J. Withro...