4290 search results - page 48 / 858 » Formal Approaches to Teamwork |
152
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
We present an approach to the cell formation problem, known from group technology, which is inspired by formal concept analysis. The cell formation problem consists in allocating p...
153
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
155
click to vote
FMOODS
2007
15 years 7 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
144
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
158
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...