1922 search results - page 139 / 385 » ie 2007 |
77
Voted
DAM
2007
15 years 22 days ago
2007
The Fibonacci number of a graph is the number of independent vertex subsets. In this paper, we investigate trees with large Fibonacci number. In particular, we show that all trees...
97
Voted
DSS
2007
15 years 22 days ago
2007
The Web Service paradigm is currently considered as the most promising and rapidly evolving technology for developing applications in open, distributed and heterogeneous environme...
86
Voted
ENTCS
2007
15 years 22 days ago
2007
Traditional access control mechanisms aim to prevent illegal actions a-priori occurrence, i.e. before granting a request for a document. There are scenarios however where the secu...
140
click to vote
ENTCS
2007
15 years 22 days ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
95
Voted
ENTCS
2007
15 years 22 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...