575 search results - page 68 / 115 » Transition systems for designing and reasoning about norms |
103
click to vote
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
IFIP
1992
Springer
15 years 3 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
ICSE
1995
IEEE-ACM
15 years 3 months ago
1995
IEEE-ACM
— Reverse engineering of large legacy software systems generally cannot meet its objectives because it cannot be cost-effective. There are two main reasons for this. First, it is...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
Communication delay is a key source of uncertainty in distributed systems. Existing approaches to reduce this uncertainty focus on maintaining sufficient surplus bandwidth; appli...