1027 search results - page 160 / 206 » A Model for Java with Wildcards |
111
Voted
AH
2000
Springer
15 years 7 months ago
2000
Springer
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
142
Voted
DSRT
1999
IEEE
15 years 7 months ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
128
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
144
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
142
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...