Sciweavers

897 search results - page 74 / 180
» A Methodology for Agent-Oriented Analysis and Design
Sort
View
ISQED
2003
IEEE
104views Hardware» more  ISQED 2003»
15 years 11 months ago
Elimination of false aggressors using the functional relationship for full-chip crosstalk analysis
As the portion of coupling capacitance increases in smaller process geometries, accurate coupled noise analysis is becoming more important in current design methodologies. We prop...
Jae-Seok Yang, Jeong-Yeol Kim, Joon-Ho Choi, Moon-...
DAC
2003
ACM
15 years 11 months ago
Symbolic analysis of analog circuits with hard nonlinearity
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...
Alicia Manthe, Zhao Li, C.-J. Richard Shi
ICRA
1998
IEEE
116views Robotics» more  ICRA 1998»
15 years 10 months ago
Dimensional Analysis and Selective Distortion in Scaled Bilateral Telemanipulation
ThiJ puper addresses the issue of dynamic similarity and intensive property invariance in scaled bilateral naunipulation, and ofsers a design methodology bused on these considerat...
Michael Goldfarb
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini