Sciweavers

3400 search results - page 398 / 680
» tools 2008
Sort
View
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Analysis of a gossip protocol in PRISM
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout dynamically changing networks. We present an analysis of a gossip pro...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
TASE
2008
IEEE
15 years 6 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
WS
2008
ACM
15 years 6 months ago
hGRDDL: Bridging microformats and RDFa
We propose hGRDDL (pronounced "h-griddle"), a simple mechanism for transforming ad-hoc HTML-embedded structured data, such as microformats, into RDFa. This technique pre...
Ben Adida
WWW
2008
ACM
15 years 6 months ago
Flexible Semantic-Based Service Matchmaking and Discovery
Automated techniques and tools are required to effectively locate services that fulfill a given user request in a mobility context. To this purpose, the use of semantic description...
Devis Bianchini, Valeria De Antonellis, Michele Me...
COLING
2002
15 years 6 months ago
(Semi-)Automatic Detection of Errors in PoS-Tagged Corpora
This paper presents a simple yet in practice very efficient technique serving for automatic detection of those positions in a partof-speech tagged corpus where an error is to be s...
Pavel Kveton, Karel Oliva