1699 search results - page 30 / 340 » A timed semantics of Orc |
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
72
Voted
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
ICECCS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
169
click to vote
AMW
2011
14 years 1 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...