1269 search results - page 95 / 254 » Pi-Calculus in Logical Form |
114
Voted
SIGMOD
2004
ACM
15 years 6 months ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
103
Voted
ENTCS
2007
15 years 18 days ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
121
click to vote
INAP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
ICDT
1990
ACM
15 years 4 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
144
click to vote
ICCCN
2007
IEEE
15 years 4 months ago
2007
IEEE
A good P2P file sharing system is usually expected to achieve the following design goals: scalability, routing efficiency and complex query support. In this paper, we propose such ...