733 search results - page 65 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
191
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
143
click to vote
WSC
1997
15 years 5 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
213
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
155
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
115
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...