736 search results - page 78 / 148 » Moving Specification Structures Between Logical Systems |
115
click to vote
REFSQ
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
EDOC
1997
IEEE
15 years 4 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...
114
click to vote
DAGSTUHL
1997
15 years 1 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
103
click to vote
CADE
2008
Springer
16 years 5 days ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...