Sciweavers

291 search results - page 24 / 59
» A Domain Engineering Approach to Specifying and Applying Ref...
Sort
View
113
Voted
CCE
2007
15 years 4 months ago
Towards an Ontology of Collaboration Patterns
: The concept of patterns and pattern languages has been applied in different application domains like software engineering, human computer interaction, and pedagogy. In the area o...
Jonas Pattberg, Matthias Flügge
137
Voted
ICCS
2007
Springer
15 years 9 months ago
Autonomic Workflow Management in the Grid
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
Guangsheng Zhang, Changjun Jiang, Jing Sha, Ping S...
151
Voted
CODES
2010
IEEE
15 years 1 months ago
Worst-case performance analysis of synchronous dataflow scenarios
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
Marc Geilen, Sander Stuijk
APSEC
2009
IEEE
15 years 1 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
111
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...