4257 search results - page 693 / 852 » The Logical Modularity of Programs |
196
click to vote
KBSE
2007
IEEE
16 years 20 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
165
click to vote
ASPLOS
2006
ACM
16 years 10 days ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
158
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
171
Voted
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...
189
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...