2687 search results - page 335 / 538 » Formal Analysis of PKCS |
152
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
170
click to vote
MKM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
189
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
154
click to vote
IAT
2006
IEEE
16 years 19 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
189
click to vote
PEWASUN
2006
ACM
16 years 16 days ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...