Sciweavers

419 search results - page 60 / 84
» A Control-Theoretic Approach to Flow Control
Sort
View
DAC
2006
ACM
16 years 20 days ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
RULEML
2009
Springer
15 years 6 months ago
Process Materialization Using Templates and Rules to Design Flexible Process Models
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
Akhil Kumar, Wen Yao
IEEEARES
2008
IEEE
15 years 6 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
ISCC
2007
IEEE
131views Communications» more  ISCC 2007»
15 years 6 months ago
SIP and MIPv6: Cross-Layer Mobility
Terminal mobility may be handled at different layers. Though the MIPv6 protocol is the strongest candidate for handling mobility in next generation networks, mobility management f...
Rui Prior, Susana Sargento
ISPDC
2007
IEEE
15 years 6 months ago
Selection of Optimal Computing Platforms through the Suitability Measure
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
Shean T. McMahon, Isaac D. Scherson