4290 search results - page 16 / 858 » Formal Approaches to Teamwork |
DAGSTUHL
2007
15 years 1 months ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
124
click to vote
IWPC
1996
IEEE
15 years 4 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
108
click to vote
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
IFM
2007
Springer
15 years 6 months ago
2007
Springer
126
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 1 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...