Sciweavers

734 search results - page 47 / 147
» Design and implementation of expressive footwear
Sort
View
ENTCS
1998
90views more  ENTCS 1998»
13 years 7 months ago
Handling ELAN rewrite programs via an exchange format
Designing a programming environment raises diļ¬ƒcult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Peter Borovanský, Salma Jamoussi, Pierre-Et...
SIGSOFT
2004
ACM
14 years 1 months ago
Verifying aspect advice modularly
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
SAC
2006
ACM
13 years 7 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
AOSD
2011
ACM
13 years 2 months ago
Closure joinpoints: block joinpoints without surprises
Block joinpoints allow programmers to explicitly mark regions of base code as ā€œto be advisedā€, thus avoiding the need to extract the block into a method just for the sake of c...
Eric Bodden
ACMACE
2007
ACM
13 years 11 months ago
Tangible interfaces for real-time 3D virtual environments
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
Ali Mazalek, Michael Nitsche