3239 search results - page 564 / 648 » A Logical Process Calculus |
106
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
95
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
112
Voted
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
106
click to vote
FPL
2005
Springer
15 years 6 months ago
2005
Springer
String pattern matching is a computationally expensive task, and when implemented in hardware, it can consume a large amount of resources for processing and storage. This paper pr...