2514 search results - page 23 / 503 » The use of industrial-strength formal methods |
122
Voted
IJNSEC
2010
14 years 8 months ago
2010
Secure networks rely upon players to maintain security and reliability. However not every player can be assumed to have total loyalty and one must use methods to uncover traitors ...
112
click to vote
AAMAS
2004
Springer
15 years 1 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
104
Voted
ISQED
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
106
click to vote
CLA
2004
15 years 3 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
175
Voted
ISEMANTICS
2010
14 years 8 months ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...