2530 search results - page 102 / 506 » Dynamic topological logic |
LISA
2007
14 years 12 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...
LICS
2012
IEEE
12 years 14 days ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— Recently, there has been renewed interest in structured logic arrays due to a number of inherent advantages. However, before they will be more widely adopted, structured logic ...
ENTCS
2010
13 years 10 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...