2137 search results - page 111 / 428 » Proving Abstract Non-interference |
109
click to vote
MFCS
2009
Springer
15 years 9 months 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...
105
click to vote
IROS
2008
IEEE
15 years 9 months 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...
113
Voted
NOMS
2008
IEEE
15 years 9 months 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...
135
Voted
TPHOL
2008
IEEE
15 years 9 months 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...
121
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months 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, ...