1269 search results - page 95 / 254 » Pi-Calculus in Logical Form |
153
click to vote
SIGMOD
2004
ACM
15 years 10 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...
137
Voted
ENTCS
2007
15 years 5 months 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...
167
Voted
INAP
2001
Springer
15 years 9 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...
115
Voted
ICDT
1990
ACM
15 years 9 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...
191
Voted
ICCCN
2007
IEEE
15 years 8 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 ...