Sciweavers

1855 search results - page 55 / 371
» System Consequence
Sort
View
TC
2010
14 years 6 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
TVCG
2012
182views Hardware» more  TVCG 2012»
13 years 2 months ago
ISP: An Optimal Out-of-Core Image-Set Processing Streaming Architecture for Parallel Heterogeneous Systems
—Image population analysis is the class of statistical methods that plays a central role in understanding the development, evolution and disease of a population. However, these t...
Linh K. Ha, Jens Krüger, João Luiz Dih...
EOR
2006
106views more  EOR 2006»
14 years 12 months ago
Synergy analysis of collaborative supply chain management in energy systems using multi-period MILP
Energy, a fundamental entity of modern life, is usually produced using fossil fuels as the primary raw material. A consequence of burning fossil fuels is the emission of environme...
Ahu Soylu, Cihan Oruç, Metin Türkay, K...
ICWE
2011
Springer
14 years 3 months ago
Formal Modeling of RESTful Systems Using Finite-State Machines
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
Ivan Zuzak, Ivan Budiselic, Goran Delac
ICNSC
2008
IEEE
15 years 6 months ago
Towards a Decision Support Personalised Self Management System for Chronic Conditions
—People with long term health conditions often experience a radically reduced quality of life and suffer from a range of symptoms. Self management can encourage patients with a c...
Huiru Zheng, Chris D. Nugent, Paul J. McCullagh, N...