7681 search results - page 1346 / 1537 » Typed Membrane Systems |
128
click to vote
TCS
2010
15 years 2 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
205
click to vote
TRUSTBUS
2010
Springer
15 years 2 months ago
2010
Springer
: Context-Aware Privacy Design Pattern Selection Siani Pearson, Yun Shen HP Laboratories HPL-2010-74 Privacy, Design Patterns, Context Awareness User-related contextual factors...
126
click to vote
WDAG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We give randomized agreement algorithms with constant expected running time in asynchronous systems subject to process failures, where up to a minority of processes may f...
114
click to vote
ACL
2010
15 years 2 months ago
2010
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
152
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...