915 search results - page 171 / 183 » Security in Business Process Engineering |
ECOOP
2010
Springer
14 years 10 days ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
DCOSS
2007
Springer
14 years 1 months ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
WS
2004
ACM
14 years 29 days ago
2004
ACM
Title of Thesis: DISTRIBUTED TRUST EVALUATION IN AD-HOC NETWORKS Georgios E. Theodorakopoulos, Master of Science, 2004 Thesis directed by: Professor John S. Baras Department of El...
TACAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
AUSAI
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...