3868 search results - page 172 / 774 » Open Systems in TLA |
216
click to vote
FMCO
2003
Springer
16 years 8 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
165
click to vote
ECRTS
2005
IEEE
16 years 20 days ago
2005
IEEE
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
204
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Based on the specific characteristics of electronic commerce (ECommerce) requirements for an adequate system support, this contribution gives an overview of the respectiv...
180
click to vote
USM
2000
15 years 10 months ago
2000
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...
229
click to vote
CASCON
1996
15 years 8 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...