Sciweavers

4445 search results - page 531 / 889
» Reflective Authorization Systems
Sort
View
ELPUB
1997
ACM
15 years 11 months ago
Generic Hypermedia Structure and Presentation Specification
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
15 years 11 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier
ECHT
1994
15 years 11 months ago
VIKI: Spatial Hypertext Supporting Emergent Structure
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
Catherine C. Marshall, Frank M. Shipman III, James...
ISOOMS
1994
15 years 10 months ago
Quantitative and Qualitative Aspects of Object-Oriented Software Development
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
Gustav Pomberger, Wolfgang Pree
CANDC
2007
ACM
15 years 10 months ago
The resourcefulness of everyday design
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
Ron Wakkary, Leah Maestri