Sciweavers

3914 search results - page 110 / 783
» Automating SLA modeling
Sort
View
ISQED
2005
IEEE
169views Hardware» more  ISQED 2005»
14 years 1 months ago
ASLIC: A Low Power CMOS Analog Circuit Design Automation
This paper proposes an efficient automation platform that provides fast and reliable path to analog circuit design for desired specifications. Circuit heuristics and hierarchy a...
Jihyun Lee, Yong-Bin Kim
PRDC
2005
IEEE
14 years 1 months ago
On Automating Failure Mode Analysis and Enhancing its Integrity
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkala...
CONTEXT
2005
Springer
14 years 1 months ago
Goal-Directed Automated Negotiation for Supporting Mobile User Coordination
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
Iyad Rahwan, Fernando Koch, Connor Graham, Anton K...
BILDMED
2006
170views Algorithms» more  BILDMED 2006»
13 years 9 months ago
Fully-Automated Analysis of Muscle Fiber Images with Combined Region and Edge-Based Active Contours
This paper presents a new approach to automated muscle fiber analysis based on segmenting myofibers with combined region and edge based active contours. It provides reliable and fu...
Thomas Brox, Yoo-Jin Kim, Joachim Weickert, Wolfga...
BIRTHDAY
2010
Springer
13 years 9 months ago
Automated Proofs for Asymmetric Encryption
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
Judicaël Courant, Marion Daubignard, Cristian...