Sciweavers

866 search results - page 125 / 174
» A Formal Investigation of
Sort
View
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
15 years 10 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
ATAL
2007
Springer
15 years 10 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
CANDC
2007
ACM
15 years 10 months ago
Designing for collaborative creative problem solving
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
Otmar Hilliges, Lucia Terrenghi, Sebastian Boring,...
FC
2010
Springer
141views Cryptology» more  FC 2010»
15 years 9 months ago
When Information Improves Information Security
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
Jens Grossklags, Benjamin Johnson, Nicolas Christi...
CANDT
2009
15 years 9 months ago
Technologies within transnational social activist communities: an ethnographic study of the european social forum
ICT support for transnational social movements and civil society organizations is an important field of research: not only due to the increased political importance of this sector...
Saqib Saeed, Markus Rohde, Volker Wulf