2421 search results - page 210 / 485 » Integrity Assurance Technique Using Determinant Approach |
106
click to vote
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Delegate MAS has been proposed and investigated as an integrated coordination technique for so-called self-organising coordination-and-control applications. Delegate MAS consist o...
132
Voted
ERCIMDL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Citation indexes are valuable tools for research, in part because they provide a means with which to measure the relative impact of articles in a collection of scientifi...
136
click to vote
DNIS
2005
Springer
15 years 5 months ago
2005
Springer
It is well known that context plays an important role in the meaning of a work of art. This paper addresses the dynamic context of a collection of linked multimedia documents, of ...
129
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
SIGADA
1998
Springer
15 years 8 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...