2740 search results - page 142 / 548 » A Model-Based Approach To Requirements Analysis |
AINTEC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. IP multicast is advantageous for high quality streaming applications and future needs in the Internet. However, it is generally recognized that IP multicast requires sign...
ISPW
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
CHARME
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
DESRIST
2009
Springer
14 years 3 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
JCISE
2002
13 years 10 months ago
2002
Methods to represent and exchange parts consisting of Functionally Graded Material (FGM) for Solid Freeform Fabrication (SFF) with Local Composition Control (LCC) are evaluated ba...