9974 search results - page 1712 / 1995 » Software Interconnection Models |
154
click to vote
FOSSACS
2005
Springer
16 years 3 days 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...
207
click to vote
KNINVI
2005
Springer
16 years 2 days 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...
172
click to vote
SEMWEB
2005
Springer
16 years 2 days 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 ...
154
click to vote
ACMICEC
2004
ACM
16 years 19 hour 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 — ...
154
click to vote
ISLPED
2004
ACM
16 years 15 hour 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...