2806 search results - page 504 / 562 » BML and Related Tools |
130
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
128
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
120
click to vote
SCHULE
2007
Springer
15 years 8 months ago
2007
Springer
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...
132
click to vote
VIZSEC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
113
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...