481 search results - page 80 / 97 » Model Checking Abstract State Machines and Beyond |
114
click to vote
ER
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
106
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
128
click to vote
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
106
click to vote
PTS
2008
15 years 3 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
MLDM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...