1376 search results - page 250 / 276 » Model-Driven Software Verification |
123
Voted
CLUSTER
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
136
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
106
click to vote
ACMACE
2005
ACM
15 years 3 months ago
2005
ACM
Exhibitions at a scientific museum are usually difficult for ordinary school pupils. To improve the issues of current explanation systems, we use Personal Data Assistant (PDA) dev...
145
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...