Sciweavers

3435 search results - page 515 / 687
» Aspect Model Unweaving
Sort
View
ADC
2006
Springer
135views Database» more  ADC 2006»
16 years 13 days ago
Using a temporal constraint network for business process execution
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan...
SOFTVIS
2006
ACM
16 years 12 days ago
Using social agents to visualize software scenarios
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
Thomas A. Alspaugh, Bill Tomlinson, Eric Baumer
APSEC
2005
IEEE
16 years 2 days ago
Ontology-based Active Requirements Engineering Framework
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
Seok Won Lee, Robin A. Gandhi
CCGRID
2005
IEEE
16 years 2 days ago
GangSim: a simulator for grid scheduling studies
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
Catalin Dumitrescu, Ian T. Foster
CSFW
2005
IEEE
16 years 2 days ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth