Sciweavers

1153 search results - page 188 / 231
» Modeling Business Processes in Web Applications with ArgoUWE
Sort
View
ICCS
2007
Springer
14 years 1 months ago
Trikonic Inter-Enterprise Architectonic
There is a need for information, application, and other enterprise architectures which are robust and flexible enough to meet the challenges of today’s heterogeneous, rapidly cha...
Gary Richmond
ECHT
1992
13 years 11 months ago
Two Years before the Mist: Experiences with Aquanet
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...
Catherine C. Marshall, Russell A. Rogers
FM
2006
Springer
126views Formal Methods» more  FM 2006»
13 years 11 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
GI
2004
Springer
14 years 1 months ago
Contractual Relationships in Open Source Structures
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...
Carsten Schulz
ICSE
2001
IEEE-ACM
14 years 1 days ago
Software Product Lines: Organizational Alternatives
Software product lines enjoy increasingly wide adoption in the software industry. Most authors focus on the technical and process aspects and assume an organizational model consis...
Jan Bosch