17054 search results - page 229 / 3411 » Logics of Dynamical Systems |
197
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
208
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
166
click to vote
ENTCS
2006
15 years 7 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
183
click to vote
ENTCS
2006
15 years 7 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
194
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...