Sciweavers

1301 search results - page 98 / 261
» Specifications via Realizability
Sort
View
118
Voted
EMISA
2004
Springer
15 years 9 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
112
Voted
RE
2004
Springer
15 years 9 months ago
The Effect of Trust Assumptions on the Elaboration of Security Requirements
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
Charles B. Haley, Robin C. Laney, Jonathan D. Moff...
102
Voted
ICDCSW
2003
IEEE
15 years 9 months ago
Dynamic, Adaptive and Reconfigurable Systems Overview and Prospective Vision
— Systems are more and more expected to work in dynamic environment, to deal with fluctuation of their characteristics and to guaranty functional and nonfunctional requirements. ...
Mehmet Aksit, Zièd Choukair
144
Voted
CSCWD
2009
Springer
15 years 8 months ago
A collaborative knowledge construction system design for massive knowledge resources
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
Qinghua Zheng, Zhaohui Wu, Lu Jiang, Jun Liu
126
Voted
IWDC
2001
Springer
119views Communications» more  IWDC 2001»
15 years 8 months ago
Differentiated Services in the GPRS Wireless Access Environment
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IP-bas...
Sergios Soursos, Costas Courcoubetis, George C. Po...