Sciweavers

5518 search results - page 134 / 1104
» Rule-Based Service Modeling
Sort
View
PTS
2008
152views Hardware» more  PTS 2008»
15 years 3 months ago
Model-Based Testing Service on the Web
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...
Antti Jääskeläinen, Mika Katara, An...
ECIS
2003
15 years 2 months ago
Assessing web-based electronic services adoption model (E-SAM)
Web-based electronic service (e-service) end-user adoption and implementation requires an assessment of consumer contextual factors. This paper investigates factors which affect e...
Kamaljeet Sandhu, Brian J. Corbitt
CN
2002
98views more  CN 2002»
15 years 1 months ago
Modeling random early detection in a differentiated services network
An analytical framework for modeling a network of Random Early Detection (RED) queues with mixed traffic types (e.g. TCP and UDP) is developed. Expressions for the steady state go...
Alhussein A. Abouzeid, Sumit Roy
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 11 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ISORC
2005
IEEE
15 years 7 months ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul