963 search results - page 151 / 193 » Formal Analysis of BPMN Models Using Event-B |
122
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...
159
Voted
CUZA
2002
15 years 3 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
131
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
140
Voted
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
124
click to vote
TNN
1998
15 years 3 months ago
1998
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...