Sciweavers

672 search results - page 124 / 135
» A framework for QoS-aware software components
Sort
View
MEMOCODE
2006
IEEE
14 years 1 months ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
ACMSE
2006
ACM
14 years 1 months ago
Automatic support for testing web-based enterprise applications
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
Arturo Sanchez, Brandon Vega, Alexander Gonzalez, ...
IPPS
2005
IEEE
14 years 29 days ago
Improvement of Power-Performance Efficiency for High-End Computing
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. R...
Rong Ge, Xizhou Feng, Kirk W. Cameron
SAINT
2005
IEEE
14 years 28 days ago
Turning Web Applications into Portlets: Raising the Issues
A portal is a key component of an enterprise integration strategy. It provides integration at the user interface level, whereas other integration technologies support business pro...
Oscar Díaz, Iñaki Paz
EMSOFT
2004
Springer
14 years 23 days ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...