2702 search results - page 274 / 541 » Practically Applicable Formal Methods |
139
click to vote
FORTE
2009
15 years 10 days ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
147
click to vote
TKDE
2012
13 years 5 months ago
2012
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
109
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
RTCSA
2000
IEEE
15 years 7 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...
130
click to vote
WICSA
2008
15 years 4 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...