Search Sciweavers | Sciweavers

12766 search results - page 214 / 2554

» collective

191

click to vote

CONCUR
2007
Springer

157views Distributed And Parallel Com...» more CONCUR 2007»

Checking Coverage for Infinite Collections of Timed Scenarios

15 years 10 months ago

Download www.brics.dk

We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...

S. Akshay, Madhavan Mukund, K. Narayan Kumar

claim paper

Read More »

164

click to vote

GIR
2007
ACM

181views Information Technology» more GIR 2007»

Geographically-aware information retrieval for collections of digitized historical maps

15 years 10 months ago

Download www.digmap.eu

DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...

Bruno Martins, José Luis Borbinha, Gilberto...

claim paper

Read More »

117

click to vote

ACSC
2004
IEEE

70views Theoretical Computer Science» more ACSC 2004»

Garbage Collection for Storage-Oriented Clusters

15 years 10 months ago