Sciweavers

306 search results - page 23 / 62
» Towards a Generic Modeling Language for Contract-Based Desig...
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 18 days ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
WISE
2005
Springer
15 years 4 months ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
IJISMD
2010
164views more  IJISMD 2010»
14 years 8 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
AOIS
2003
15 years 19 days ago
AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
Gerd Wagner
BPM
2007
Springer
211views Business» more  BPM 2007»
15 years 3 months ago
Towards a Reference Process Model for Event Management
Events are becoming more and more important for companies as an instrument of marketing communication. Event management is an interdisciplinary task field, addressed in the most di...
Oliver Thomas, Bettina Hermes, Peter Loos