2562 search results - page 130 / 513 » The Use of B2B Process Standards: A Case Study |
MASCOTS
2003
14 years 11 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
SPATIALCOGNITION
2004
Springer
15 years 3 months ago
2004
Springer
We developed a method to analyze sketch maps by GIS, and applied it to an actual case study. We found that analysis using buffer operation was more effective for sketch map analyse...
JNCA
2010
14 years 8 months ago
2010
Today’s web applications are more collaborative and are using the standard and ubiquitous Internet protocols. We have earlier developed System on Mobile Devices (SyD) middleware...
JCM
2006
14 years 10 months ago
2006
For a dense RFID reader deployment, such as in a warehouse, where hundreds of readers will be positioned in a building, the interference between all these readers must be studied c...
STTT
2011
14 years 5 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...