9370 search results - page 196 / 1874 » An Abstract Notion of Application |
163
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
167
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
136
click to vote
AE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
145
click to vote
FSTTCS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
142
click to vote
OR
2005
Springer
2005
Springer
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
16 years 2 days ago
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...