29143 search results - page 480 / 5829 » A Sortation System Model |
146
click to vote
ECSQARU
2003
Springer
16 years 2 days ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
241
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
175
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
180
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not give...
192
click to vote
MATA
2001
Springer
15 years 11 months ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...