Sciweavers

561 search results - page 22 / 113
» A Methodology for Example-Based Specification and Design
Sort
View
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
15 years 3 months ago
A Tool and Methodology for AC-Stability Analysis of Continuous-Time Closed-Loop Systems
—Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). ...
Momchil Milev, Rod Burt
BCSHCI
2008
14 years 11 months ago
Creating creative processes: a workshop demonstrating a methodological approach for subjects between the sciences and the arts
There is a lack of `explicit education' of different modes of creativity and different methodologies for initiating creative processes. This is important for not only art pra...
Carola Boehm
100
Voted
DAC
2008
ACM
15 years 10 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
ICMAS
1998
14 years 11 months ago
Agent-Oriented Programming of Manufacturing Control Tasks
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
Stefan Bussmann
EEE
2005
IEEE
15 years 3 months ago
From Multi-Context Business Collaboration Models to Context-Specific ebXML BPSS
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
Birgit Hofreiter, Christian Huemer