Sciweavers

3093 search results - page 104 / 619
» The Multi-perspective Process Explorer
Sort
View
155
Voted
ICALP
2009
Springer
16 years 5 months ago
Approximating Markov Processes by Averaging
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
HICSS
2010
IEEE
154views Biometrics» more  HICSS 2010»
15 years 12 months ago
The Effects of Perceived Visual Aesthetics on Process Satisfaction in GSS Use
Although group support systems (GSS) can potentially have tremendous impacts in helping to solve the challenges faced by organizations and societies today, research to date has pr...
Alex Ivanov, Christoph Schneider
SCAM
2009
IEEE
15 years 11 months ago
thr2csp: Toward Transforming Threads into Communicating Sequential Processes
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
Robert Charles Lange, Spiros Mancoridis
ANSS
2006
IEEE
15 years 11 months ago
Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective
This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies org...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
ASWEC
2004
IEEE
15 years 8 months ago
A Process Framework for Characterising Security Properties of Component-Based Software Systems
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
Khaled M. Khan, Jun Han