2450 search results - page 358 / 490 » On Application of Structural Decomposition for Process Model... |
140
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
148
click to vote
AEI
2006
15 years 4 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
171
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
128
click to vote
WSC
2004
15 years 5 months ago
2004
This paper describes the application of data farming techniques (Brandstein and Horne 1998) to explore various aspects of coevolutionary dynamics (McKelvey 2002) in organization s...
148
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Process variations make at-speed testing significantly more difficult. They cause subtle delay changes that are distributed rather than the localized nature of a trad...