320 search results - page 11 / 64 » A Modal Logic of Information Change |
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
To improve the ability of predicting the impact scope of a given change, we present two approaches applicable to the maintenance of object-oriented software systems. Our first ap...
86
Voted
DEON
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
95
Voted
IJCAI
1989
15 years 25 days ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
The need to analyze and index large amounts of video information is becoming more important as the way people consume media continues to change. In recent years, the push to attac...
CIE
2007
Springer
15 years 5 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...