2430 search results - page 339 / 486 » Tool support for quality-driven development of software arch... |
146
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Communication designs form the fastest growing segment of the semiconductor market. Both network processors and wireless chipsets have been attracting a great deal of research att...
156
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
170
click to vote
DGO
2007
15 years 8 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
197
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
179
click to vote
WER
2001
Springer
15 years 11 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...