1078 search results - page 117 / 216 » Modelling and Verifying of e-Commerce Systems |
124
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
134
click to vote
ECOWS
2006
Springer
15 years 8 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
133
click to vote
RC
2002
15 years 4 months ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
166
click to vote
VR
2008
IEEE
15 years 2 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
158
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...