2131 search results - page 188 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
162
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
141
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
168
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
168
click to vote
DCC
2007
IEEE
16 years 5 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
256
click to vote
ITNG
2008
IEEE
15 years 12 months ago
2008
IEEE
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...