Sciweavers

21490 search results - page 492 / 4298
» Business Process Modeling
Sort
View
127
Voted
BMCBI
2008
77views more  BMCBI 2008»
15 years 4 months ago
Stochastic models for the in silico simulation of synaptic processes
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
Andrea Bracciali, Marcello Brunelli, Enrico Catald...
111
Voted
JOLLI
2002
73views more  JOLLI 2002»
15 years 4 months ago
Extensive Games as Process Models
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
Johan van Benthem
ICNS
2007
IEEE
15 years 11 months ago
Delay Components of Job Processing in a Grid: Statistical Analysis and Modeling
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...
Kostas Christodoulopoulos, Vasileios Gkamas, Emman...
APAQS
2001
IEEE
15 years 8 months ago
A Tailored Capability Model for Inspection Process Improvement
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
Ilkka Tervonen, Juha Iisakka, Lasse Harjumaa
VISUALIZATION
2002
IEEE
15 years 9 months ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz