Sciweavers

4004 search results - page 598 / 801
» Selecting an Approach to Designing Group Support Systems
Sort
View
IUI
2010
ACM
16 years 1 months ago
Towards intelligent motion inferencing in mathematical sketching
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
Salman Cheema, Joseph J. LaViola Jr.
CCS
2007
ACM
15 years 11 months ago
A data outsourcing architecture combining cryptography and access control
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...
Sabrina De Capitani di Vimercati, Sara Foresti, Su...
SIGSOFT
2004
ACM
15 years 10 months ago
Variability management with feature-oriented programming and aspects
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
Mira Mezini, Klaus Ostermann
158
Voted
ESOP
2006
Springer
15 years 8 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...
BCS
2008
15 years 6 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002