1821 search results - page 331 / 365 » Security-Aware Program Transformations |
UML
2000
Springer
14 years 12 days ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
ICANN
1997
Springer
14 years 12 days ago
1997
Springer
Subsystems for on-line recognition of handwriting are needed in personal digital assistants (PDAs) and other portable handheld devices. We have developed a recognition system whic...
WFLP
2000
Springer
14 years 12 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
AVI
2008
13 years 11 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
CSCW
2006
ACM
13 years 10 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...