Sciweavers

2539 search results - page 148 / 508
» Semantic frameworks for e-government
Sort
View
EDBTW
2004
Springer
15 years 10 months ago
Semantic Web Recommender Systems
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
Cai-Nicolas Ziegler
ICWE
2010
Springer
15 years 8 months ago
Applying Semantic Web Technology in a Mobile Setting: The Person Matcher
In a mobile setting, users use, handle and search for online information in a different way. Two features typically desired by mobile users are tailored information delivery and co...
William Van Woensel, Sven Casteleyn, Olga De Troye...
DAGSTUHL
2003
15 years 8 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
ENTCS
2008
84views more  ENTCS 2008»
15 years 6 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
ICFP
1998
ACM
15 years 10 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...