Sciweavers

771 search results - page 53 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
71
Voted
EOR
2011
124views more  EOR 2011»
14 years 5 months ago
Analysis of order-up-to-level inventory systems with compound Poisson demand
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
M. Zied Babai, Zied Jemaï, Yves Dallery
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 2 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
IIWAS
2004
15 years 7 days ago
Combining Text And Image Analysis in The Web Filtering System "WEBGUARD"
Web applications increasingly utilize search techniques that heavily rely on content-based text and image analyses. For example, for parental site filtering, it is necessary to id...
Mohamed Hammami, Youssef Chahir, Liming Chen
99
Voted
VMCAI
2010
Springer
15 years 8 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang
INTEROP
1999
Springer
129views GIS» more  INTEROP 1999»
15 years 3 months ago
Interoperability in Practice: Problems in Semantic Conversion from Current Technology to OpenGIS
This work investigates the practical issue of mapping existing GIS to the OpenGIS standards. We describe the data models used in three systems (MGE, ARC/INFO and SPRING) and analys...
Gilberto Câmara, Rogério Thomé...