3515 search results - page 613 / 703 » On the semantics of Strategy Logic |
195
click to vote
HICSS
2005
IEEE
16 years 21 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
215
click to vote
IEEESCC
2005
IEEE
16 years 20 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
205
click to vote
SSDBM
2005
IEEE
16 years 19 days ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...
180
Voted
BIRTHDAY
2005
Springer
16 years 18 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
185
click to vote
ICLP
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...