Sciweavers

2853 search results - page 425 / 571
» A platform for software engineering research
Sort
View
TC
2010
13 years 4 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...
TCAD
2010
168views more  TCAD 2010»
13 years 4 months ago
An MILP-Based Performance Analysis Technique for Non-Preemptive Multitasking MPSoC
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
Hoeseok Yang, Sungchan Kim, Soonhoi Ha
SIGMOD
2003
ACM
108views Database» more  SIGMOD 2003»
14 years 10 months ago
Composing XSL Transformations with XML Publishing Views
While the XML Stylesheet Language for Transformations (XSLT) was not designed as a query language, it is well-suited for many query-like operations on XML documents including sele...
Chengkai Li, Philip Bohannon, Henry F. Korth, P. P...
PETRA
2009
ACM
14 years 4 months ago
Description and future trends of ICT solutions offered towards independent living: the case of LLM project
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
Christos A. Frantzidis, Panagiotis D. Bamidis
IAT
2007
IEEE
14 years 4 months ago
Redefining Social Network Services: A Solution to Personal Information and Knowledge Management
Instead of aiming at the augmentation of human communication abilities as other social software does, social network services (SNS) provide better chances for people to enhance th...
Tingting Jiang, Daqing He