Sciweavers

561 search results - page 22 / 113
» A Methodology for Example-Based Specification and Design
Sort
View
117
Voted
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
15 years 8 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
101
Voted
BCSHCI
2008
15 years 4 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
248
Voted
DAC
2008
ACM
16 years 3 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...
128
Voted
ICMAS
1998
15 years 4 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
137
Voted
EEE
2005
IEEE
15 years 8 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