505 search results - page 44 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
REFSQ
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
133
click to vote
ACOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
The aim of this article is to help a teacher to evaluate his courses by following the students during the learning phase. We asume that the teacher doesn't use an educational...
IADIS
2003
15 years 1 months ago
2003
Galileo is a European initiative to develop and deploy an independent global satellite-based navigation system. It consists of a Medium Earth Orbit sat ellite constellation transm...
104
click to vote
ICIP
1998
IEEE
16 years 1 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...