Sciweavers

5034 search results - page 224 / 1007
» A Content-Centric Development Process Model
Sort
View
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 2 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
ENTCS
2007
111views more  ENTCS 2007»
15 years 3 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
CAISE
1999
Springer
15 years 8 months ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...
UML
2005
Springer
15 years 9 months ago
Tool Support for Model-Based Generation of Advanced User Interfaces
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
Andreas Wolff, Peter Forbrig, Daniel Reichart
TR
2008
98views more  TR 2008»
15 years 3 months ago
Application of Vulnerability Discovery Models to Major Operating Systems
A number of security vulnerabilities have been reported in the Windows, and Linux operating systems. Both the developers, and users of operating systems have to utilize significant...
Omar H. Alhazmi, Yashwant K. Malaiya