Sciweavers

2604 search results - page 268 / 521
» General constant expressions for system programming language...
Sort
View
PLDI
2009
ACM
15 years 9 months ago
Flow-sensitive semantics for dynamic information flow policies
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
Niklas Broberg, David Sands
VLDB
1994
ACM
128views Database» more  VLDB 1994»
15 years 8 months ago
From Nested-Loop to Join Queries in OODB
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
Hennie J. Steenhagen, Peter M. G. Apers, Henk M. B...
CAINE
2007
15 years 5 months ago
Wildcards in Math Search, Implementation Issues
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
Moody Ebrahem Altamimi, Abdou S. Youssef
ICMI
2005
Springer
126views Biometrics» more  ICMI 2005»
15 years 9 months ago
Synthetic characters as multichannel interfaces
  Synthetic characters are an effective modality to convey messages  to  the  user,  provide  visual  feedback  about  the  system  internal  understanding of...
Elena Not, Koray Balci, Fabio Pianesi, Massimo Zan...
CHI
2007
ACM
15 years 8 months ago
Aligning development tools with the way programmers think about code changes
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...