- 1.Ahamad, M., Neiger, G., Burns. J.E., Hutto, P.H., and Kohli, P., "Causal Memory: Definitions, Implementations and Programming", To appear in ACM Transactions on Distributed Computing Systems.Google Scholar
- 2.Barford, L. A., and Vander Zanden, B. T., "Attribute Grammars in Constraint-Based Graphics Systems", Sofm,are - Practice and Experience, 19:4, 1989, pp. 309-328. Google ScholarDigital Library
- 3.Birman,K., Schiper, A., and Stephenson, P., "Lightweight Causal and Atomic Group Multicast", ACM Transactions on Computing Systems, 9:3, 1991, pp. 272-314. Google ScholarDigital Library
- 4.Boming, A., "The Programming Language Aspects of ThingLab: A Constraint-Oriented Simulation Laboratory", ACM Transactions on Programming Languages and Systems, 3:4, Oct. 1981, pp. 353-387. Google ScholarDigital Library
- 5.Boming, A., and Duisberg, R., "Constraint-Based Tools for Building User Interfaces", ACM Transactions on Graphics, 5:4, Oct. 1986, pp. 345-374. Google ScholarDigital Library
- 6.Cardelli, L., "A Language with Distributed Scope", Proc. of the 22nd ACM Symposium on Principles of Programming Languages, Jan 1995, pp. 286-297. Google ScholarDigital Library
- 7.Freeman-Benson, B. N., Maloney, J., and Borning. A. "An Incremental Constraint Solver", Communications of the ACM, 33:1, Jan. 1990, pp. 54-63. Google ScholarDigital Library
- 8.Freeman-Benson, B. N., "Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming", Proceedings of OOPSLA/ECOOP '90, 1990, pp. 77-88. Google ScholarDigital Library
- 9.Gleicher, M., "A Graphics Toolkit Based on Differential Constraints", Proceedings of UIST '93, Atlanta, GA, Nov. 1993, pp. 109-120. Google ScholarDigital Library
- 10.Henry, T. R., Hudson, S. E., "Using Active Data in a UIMS", Proceedings of UIST '88, Banff, Alberta, Canada, Oct. 1988, pp. 167-178. Google ScholarDigital Library
- 11.Hill, R. D., "The Rendezvous Constraint Maintenance System", Proceedings of UIST '93, Atlanta, GA, Nov. 1993, pp. 225-234. Google ScholarDigital Library
- 12.Hudson, S. E., and King, R., "Semantic Feedback in the Higgens UIMS",IEEE Transactions on Software Engineering, 14:6, Aug. 1988, pp. 1188-1206. Google ScholarDigital Library
- 13.Hudson, S. E., "Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update", ACM Transactions on Programming Languages and Systems, 13:3, July 1991, pp. 315-341. Google ScholarDigital Library
- 14.Hudson, S. E., "A System for Efficient and Flexible One-Way Constraint Evaluation in C++", Georgia Institute of Technology - Graphics, Visualization, and Usability Center Technical Report GIT-GVU 93-15, April 1993.Google Scholar
- 15.Hudson, S. E., "User Interface Specification Using an Enhanced Spreadsheet Model", ACM Transactions on Graphics, t3:3, July 1994, pp. 209-239. Google ScholarDigital Library
- 16.Lamport, L., "Time, Clocks and the Ordering of Events", Communications of the ACM, 21;7, july 1978, pp. 558-565. Google ScholarDigital Library
- 17.Manasse, M.S., and Nelson, G., "Trestle Reference Manual", Digital Systems Research Center - Technical Report 68, Palo Alto, CA, Dec 1991.Google Scholar
- 18.Myers, B. A., Giuse, D. A., Dannenberg, R. B., Vander Zanden, B., Kosbie, D.S., Pervin, E., Mickish, A., and Marchal, P., "Garnet: Comprehensive Support for Graphical, Highly-Interactive User Interfaces", IEEE Computer, 23:11, Nov. 1990, pp. 71-85. Google ScholarDigital Library
- 19.Takahashi, S., Matsuoka, S. Yonezawa, A., and Kamada, T., "A general framework for bi-clirectional translation between abstract and pictorial data", Proceedings of UIST'91, Hilton Head, South Carolina, Nov 1991. Google ScholarDigital Library
- 20.Tang, S. H., and Linton, M. A., "Blending Structured Graphics and Layout", Proceedings of UIST '94, Marina del Rey, CA, Nov. 1994, pp. 167-174. Google ScholarDigital Library
- 21.Vander Zanden, B., Myers, B.A., Giuse, D., Szekely, P.,"lntegrating Pointer Variables into One-Way Constraint Models", ACM Transactions on Computer Human Interaction, I:1, June 1994. Google ScholarDigital Library
Index Terms
- Supporting distributed, concurrent, one-way constraints in user interface applications
Recommendations
Lowering Conflicts of High Contention Software Transactional Memory
CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03Two concurrent transactions are said to conflict based on linearizability semantics if they access the same shared data and at least one of them modifies that data. In many applications enforcing the strict linearizability semantics over the entire read-...
Maintaining constraints of UML models in distributed collaborative environments
Constraint maintenance plays an important role in keeping the integrity and validity of UML models in embedded software design. While constraint maintenance capabilities are reasonably adequate in existing UML modeling applications, little work has been ...
Comments