1096 search results - page 67 / 220 » Towards a Solution to the |
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...
JELIA
1998
Springer
15 years 2 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
AUTONOMICS
2007
ACM
15 years 1 months ago
2007
ACM
Smart camera networks provide the opportunity to detect, classify, and trace visual events by means of a wireless network of embedded computing devices equipped with camera sensor...
AINA
2007
IEEE
15 years 1 months ago
2007
IEEE
PKI is generally considered as the most appropriate solution for e-commerce and mutual authentication, owing to its digital signature and non-repudiation features. Asymmetric key ...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...