Sciweavers

4763 search results - page 296 / 953
» On the Execution of Deep Models
Sort
View
WCET
2008
15 years 8 months ago
Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
Jack Whitham, Neil C. Audsley
DAGSTUHL
2006
15 years 8 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
ESORICS
2010
Springer
15 years 7 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers
IJWET
2007
114views more  IJWET 2007»
15 years 6 months ago
A comprehensive design model for integrating business processes in web applications
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
Damiano Distante, Gustavo Rossi, Gerardo Canfora, ...
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
A Markov Chain Model for the Analysis of Round-Robin Scheduling Scheme
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...
D. Shukla, Saurabh Jain, Rahul Singhai, R. K. Agar...