575 search results - page 15 / 115 » Transition systems for designing and reasoning about norms |
101
click to vote
NMR
2004
Springer
15 years 4 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
JSS
2007
14 years 11 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
WADT
1998
Springer
15 years 2 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
KBS
1998
14 years 11 months ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...