7956 search results - page 12 / 1592 » Into the Future |
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
ICEIS
1999
IEEE
14 years 1 months ago
1999
IEEE
: This paper provides a review of groupware technology and products. The purpose of this review is to investigate the appropriateness of current groupware technology as the basis f...
EGOV
2007
Springer
14 years 22 days ago
2007
Springer
This paper presents some future possibilities for eDemocracy tools and considers how these new technologies might conflict with our basic assumptions about what democracy should be...
AINA
2004
IEEE
14 years 17 days ago
2004
IEEE
We report a case study of designing a mobile phone of the future, involving participatory requirements elicitation using a form of scenario-based design. Participants took photogr...
CONCUR
2006
Springer
14 years 16 days ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...