6274 search results - page 773 / 1255 » Proofs, Programs, Processes |
159
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
177
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
Educational gaming is an exciting genre of computer programming that attempts to find interesting and compelling ways to teach while also being fun. Research has been conducted to...
151
click to vote
AGILEDC
2008
IEEE
16 years 1 months ago
2008
IEEE
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
175
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...
167
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-time Specification for Java extends the Java platform to support real-time processing and introduces a region-based memory model, called scoped memory, which side-steps ...