963 search results - page 145 / 193 » Formal Analysis of BPMN Models Using Event-B |
133
click to vote
EPEW
2008
Springer
15 years 5 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
125
Voted
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
157
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
136
Voted
ISMAR
2006
IEEE
15 years 9 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
112
Voted
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...