4350 search results - page 267 / 870 » Case studies for contract-based systems |
184
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
174
Voted
CSREAEEE
2006
15 years 8 months ago
2006
- As mobile devices have been popular, many wireless applications for mobile devices have been developed. One of applications is to represent financial transaction report for a pro...
162
click to vote
IFIP13
2004
15 years 8 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
162
click to vote
WSC
2004
15 years 8 months ago
2004
Supply chain management is a critically significant strategy that enterprises depend on in meeting the challenges of today's highly competitive and dynamic business environme...
175
click to vote
WSC
1997
15 years 8 months ago
1997
The purpose of this paper is to investigate how discrete event simulation can support the growing need of information in the production system. Agility, one key to future competit...