13987 search results - page 519 / 2798 » The Two Guards Problem |
198
click to vote
ICTAC
2004
Springer
16 years 14 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
170
click to vote
ISOLA
2004
Springer
16 years 14 days ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
160
click to vote
KR
2004
Springer
16 years 14 days ago
2004
Springer
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be ...
185
click to vote
SWAT
2004
Springer
16 years 14 days ago
2004
Springer
Given a set of rectangles we are asked to pack as many of them as possible into a bigger rectangle. The rectangles packed may not overlap and may not be rotated. This problem is NP...
225
click to vote
ICDCSW
2003
IEEE
16 years 12 days ago
2003
IEEE
The increasing use of computers to manage everyday business poses problems for workers when they are away from their home environment. There are two key problems: • How can a mo...