2137 search results - page 111 / 428 » Proving Abstract Non-interference |
151
click to vote
MFCS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
146
click to vote
IROS
2008
IEEE
16 years 22 days ago
2008
IEEE
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
153
click to vote
NOMS
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract—Scalability is a real challenge for network management due to the increase of the devices to be managed and their various locations. A potential solution is based on bot...
187
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
162
click to vote
FUZZIEEE
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...