8928 search results - page 121 / 1786 » Modeling Current Events |
212
click to vote
ICSOC
2009
Springer
15 years 4 months ago
2009
Springer
Business processes must become agile, respond to changes in the business environment in a timely manner and quickly adapt themselves to new conditions. Event-Driven Business Proces...
145
click to vote
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
112
click to vote
BMCBI
2006
2006
Nanopore Detector based analysis of single-molecule conformational kinetics and binding interactions
15 years 6 months ago
Background: A Nanopore Detector provides a means to transduce single molecule events into observable channel current changes. Nanopore-based detection can report directly, or indi...
153
click to vote
JSAT
2006
15 years 6 months ago
2006
The first evaluation of pseudo-Boolean solvers was organized as a subtrack of the SAT 2005 competition. The first goal of this event is to take a snapshot of the current state of ...
157
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...