Sciweavers

537 search results - page 30 / 108
» TIES: An Engineering Design Methodology and System
Sort
View
CBSE
2004
Springer
14 years 1 months ago
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
Antonia Bertolino, Raffaela Mirandola
CODES
1999
IEEE
14 years 8 hour ago
Using codesign techniques to support analog functionality
With the growth of System on a Chip (SoC), the functionality of analog components must also be considered in the design process. This paper describes some of the design implementa...
Francis G. Wolff, Michael J. Knieser, Daniel J. We...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 2 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
SELMAS
2005
Springer
14 years 1 months ago
Improving Flexibility and Robustness in Agent Interactions: Extending Prometheus with Hermes
Abstract. A crucial part of multi-agent system design is the design of agent interactions. Traditional approaches to designing agent interaction use interaction protocols, which fo...
Christopher Cheong, Michael Winikoff
ATAL
2009
Springer
14 years 2 months ago
agentTool III: from process definition to code generation
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...