421 search results - page 74 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
107
click to vote
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
86
Voted
ER
2008
Springer
15 years 2 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
103
Voted
WOTUG
2008
15 years 2 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
104
Voted
SIGMOD
2004
ACM
16 years 21 days ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
115
Voted
CADE
2007
Springer
16 years 26 days ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...