Sciweavers

2969 search results - page 321 / 594
» The Case for User-Centered CASE Tools
Sort
View
EURODAC
1995
IEEE
142views VHDL» more  EURODAC 1995»
15 years 10 months ago
Prediction of radiated electromagnetic emissions from PCB traces based on green dyadics
Because it costs to solve ElectroMagnetic Compatibility (EMC) problems late in the development process, new methods have to predict radiated electromagnetic emissions at the desig...
E. Leroux, Flavio G. Canavero, G. Vecchi
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 10 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
EUROMICRO
2009
IEEE
15 years 10 months ago
The Relative Importance of Aspects of Intellectual Capital for Software Companies
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
Sebastian Barney, Aybüke Aurum, Claes Wohlin
FLAIRS
2007
15 years 9 months ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
WSC
2007
15 years 9 months ago
Using flexible points in a developing simulation of selective dissolution in alloys
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
Joseph C. Carnahan, Steven A. Policastro, Erin C. ...