4036 search results - page 192 / 808 » Formal Methods |
177
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
202
click to vote
APN
2007
Springer
16 years 18 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
146
click to vote
HICSS
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
137
click to vote
ICDIM
2007
IEEE
16 years 22 days ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
136
click to vote
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...