2392 search results - page 42 / 479 » Performance modeling from software components |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
We report on the experiences of Siemens Corporation in nine globally-distributed software development projects. These projects represent a range of collaboration models, from co-d...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
ETFA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
AMOST
2007
ACM
13 years 12 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...