4290 search results - page 351 / 858 » Formal Approaches to Teamwork |
195
click to vote
KBSE
2003
IEEE
16 years 1 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
222
click to vote
SSD
2009
Springer
16 years 7 days ago
2009
Springer
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach f...
171
Voted
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
198
click to vote
CIA
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
181
click to vote
AAAI
2008
15 years 10 months ago
2008
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...