10038 search results - page 1634 / 2008 » Model Checking for Managers |
154
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
We address the problem of enabling clients to regulate disclosure of their credentials and properties when interacting with servers in open scenarios. We provide a means for client...
198
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
180
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: ConnectIT uses a graphical representation to express strategies for playing the connect-four game. With this tool we can transfer complex knowledge about the connect-four game it...
221
Voted
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
170
click to vote
IFIP12
2009
15 years 4 months ago
2009
The Semantic Web (SW) is an extension to the current Web, enhancing the available information with semantics. RDF, one of the most prominent standards for representing meaning in t...