866 search results - page 125 / 174 » A Formal Investigation of |
SIGMOD
1989
ACM
15 years 3 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
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...
CANDC
2007
ACM
15 years 3 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
FC
2010
Springer
15 years 3 months ago
2010
Springer
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...
CANDT
2009
15 years 3 months ago
2009
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...