9974 search results - page 1712 / 1995 » Software Interconnection Models |
117
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
163
Voted
KNINVI
2005
Springer
15 years 9 months ago
2005
Springer
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
127
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
117
Voted
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
121
click to vote
ISLPED
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...