Sciweavers

10625 search results - page 386 / 2125
» Supporting delay-intolerant applications
Sort
View
TACAS
1999
Springer
81views Algorithms» more  TACAS 1999»
15 years 11 months ago
Process Algebra in PVS
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
Twan Basten, Jozef Hooman
CIA
2006
Springer
15 years 10 months ago
Evaluating Dynamic Services in Bioinformatics
Abstract. In dynamic applications characterised by a variety of alternative services with the same functionality but heterogeneous results, agents requesting services must find an ...
Maíra Ribeiro Rodrigues, Michael Luck
ICWE
2010
Springer
15 years 9 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...
CLA
2004
15 years 8 months ago
Concept Lattice Generation by Singular Value Decomposition
Abstract. Latent semantic indexing (LSI) is an application of numerical method called singular value decomposition (SVD), which discovers latent semantic in documents by creating c...
Petr Gajdos, Pavel Moravec, Václav Sn&aacut...
WSC
2004
15 years 8 months ago
Modeling Information for Manufacturing-Oriented Supply-Chain Simulations
This paper discusses a new approach that facilitates the use of simulation in supply chain applications, especially for manufacturing-related activities. A neutral information rep...
Guixiu Qiao, Frank Riddick