Sciweavers

2276 search results - page 304 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
EUROMICRO
2003
IEEE
15 years 9 months ago
Merging components and testing tools: The Self-Testing COTS Components (STECC) Strategy
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
Sami Beydeda, Volker Gruhn
CODES
2007
IEEE
15 years 8 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
SAC
2010
ACM
15 years 4 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CMMR
2007
Springer
140views Music» more  CMMR 2007»
15 years 10 months ago
Emergent Rhythms through Multi-agency in Max/MSP
This paper presents a multiple-agent architecture created in Max/ MSP that generates polyphonic rhythmic patterns which continuously evolve and develop in a musically intelligent m...
Arne Eigenfeldt
ETRICS
2006
15 years 8 months ago
Optimized Workflow Authorization in Service Oriented Architectures
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...
Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemp...