1748 search results - page 171 / 350 » Using Aspect Programming to Secure Web Applications |
144
click to vote
OOPSLA
2010
Springer
15 years 23 days ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
129
click to vote
ISI
2007
Springer
15 years 9 months ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...
138
Voted
CACM
2000
15 years 2 months ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
151
click to vote
IFIPTCS
2010
15 years 24 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
122
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...