4036 search results - page 240 / 808 » Formal Methods |
145
click to vote
APL
1993
ACM
15 years 10 months ago
1993
ACM
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
148
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
The recent and massive deployment of Voice over IP infrastructures had raised the importance of the VoIP security and more precisely of the underlying signalisation protocol SIP. ...
197
click to vote
SWWS
2008
15 years 8 months ago
2008
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
204
click to vote
FIW
1998
15 years 8 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
152
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...