1527 search results - page 114 / 306 » From Requirements to Design: Formalizing the Key Steps |
149
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
156
click to vote
WSC
2007
15 years 8 months ago
2007
Fluctuations of work-in-progress (WIP) levels cause variability of cycle time and often lead to productivity losses in semiconductor wafer fabrication plants. To identify sources ...
147
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
305
click to vote
TASE
2012
IEEE
14 years 1 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
189
click to vote
UML
2005
Springer
15 years 11 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...