Sciweavers

2018 search results - page 139 / 404
» On Conceptualization as a Systematic Process
Sort
View
APSEC
2008
IEEE
15 years 11 months ago
Behavioral Specification of Real-Time Requirements
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
Seyed Morteza Babamir, Faezeh Sadat Babamir
CP
2005
Springer
15 years 10 months ago
Conditional Symmetry Breaking
Conditional symmetry arises in a sub-problem of a constraint satisfaction problem, where the sub-problem satisfies some condition under which additional symetries hold. Typically...
Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDona...
ISCAS
1999
IEEE
70views Hardware» more  ISCAS 1999»
15 years 8 months ago
A new multipath amplifier design technique for enhancing gain without sacrificing bandwidth
A new multistage multipath amplifier design technique is introduced that combines the formerly distinct phases of stage design and compensation. The result is an inherently stable...
M. E. Schlarmann, E. K. F. Lee, Randall L. Geiger
FMOODS
2006
15 years 5 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
GRID
2006
Springer
15 years 4 months ago
Overhead Analysis of Grid Workflow Applications
In this paper we propose a systematic approach to performance analysis of workflow applications on the Grid. We introduce an ideal model for the workflow execution time and explain...
Francesco Nerieri, Radu Prodan, Thomas Fahringer, ...