3573 search results - page 704 / 715 » Reasoning about Codata |
IFIPTCS
2010
13 years 7 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
PAAMS
2010
Springer
13 years 7 months ago
2010
Springer
In this study, a new organization based system for forest fires prediction is presented. It is an Organization Based System for Forest Fires Forecasting (OBSFFF). The core of the s...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
UIST
2010
ACM
13 years 7 months ago
2010
ACM
In this paper we introduce tag expression, a novel form of preference elicitation that combines elements from tagging and rating systems. Tag expression enables users to apply aff...