1348 search results - page 133 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
POPL
2002
ACM
14 years 9 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
IFIP
2000
Springer
14 years 15 days ago
2000
Springer
Information systems research is concerned with complex imbroglios of human and non-human components. As researchers, we need ways to represent the intricacies of the different sta...
DAGSTUHL
1998
13 years 10 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
WCRE
2000
IEEE
14 years 1 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...