Sciweavers

2649 search results - page 122 / 530
» Argumentation for Decision Support
Sort
View
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
15 years 12 months ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
ICDE
1995
IEEE
180views Database» more  ICDE 1995»
16 years 7 months ago
Building an Integrated Active OODBMS: Requirements, Architecture, and Design Decisions
Active OODBMSs must provide e cient support for event detection, composition, and rule execution. Previous experience, reported here, building active capabilities on top of existi...
Alejandro P. Buchmann, Jürgen Zimmermann, Jos...
HICSS
2007
IEEE
79views Biometrics» more  HICSS 2007»
16 years 19 days ago
Smartocracy: Social Networks for Collective Decision Making
Abstract— Smartocracy is a social software system for collective decision making. The system is composed of a social network that links individuals to those they trust to make go...
Marko A. Rodriguez, Daniel J. Steinbock, Jennifer ...
ICFP
2007
ACM
16 years 6 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson