2293 search results - page 100 / 459 » Temporal Logic in Information Systems |
ICRA
2009
IEEE
2009
IEEE
Temporal stabilization of discrete movement in variable environments: An attractor dynamics approach
14 years 7 months ago
The ability to generate discrete movement with distinct and stable time courses is important for interaction scenarios both between different robots and with human partners, for ca...
SRDS
2007
IEEE
15 years 4 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
FMSD
2006
14 years 10 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
LISA
2007
15 years 7 days ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...