2233 search results - page 172 / 447 » Modular type classes |
143
click to vote
SEMWEB
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
115
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
159
click to vote
CRITIS
2006
15 years 8 months ago
2006
Ad hoc and sensor networks highly depend on the distributed cooperation among network nodes. Trust establishment frameworks provide the means for representing, evaluating, maintain...
152
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper offers a formalization of iterated belief revision for multiagent communication using the logic of communication graphs introduced in [15]. In this study we co...
137
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...