778 search results - page 83 / 156 » Expressiveness and complexity of graph logic |
102
Voted
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
97
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
88
Voted
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
123
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
131
Voted
ACL
2010
14 years 10 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...