Sciweavers

6722 search results - page 379 / 1345
» Reuse-Conducive Development Environments
Sort
View
GC
2004
Springer
16 years 3 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
EICS
2009
ACM
15 years 10 months ago
An infrastructure for experience centered agile prototyping of ambient intelligence
Ubiquitous computing poses new usability challenges that cut across design and development. We are particularly interested in "spaces" enhanced with sensors, public disp...
José Luís Silva, José Creissa...
ATAL
2010
Springer
15 years 7 months ago
Eclipse-based Prometheus design tool
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
Hongyuan Sun, John Thangarajah, Lin Padgham
CCS
2011
ACM
14 years 6 months ago
Fear the EAR: discovering and mitigating execution after redirect vulnerabilities
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
Adam Doupé, Bryce Boe, Christopher Kruegel,...
SIGCSE
2005
ACM
156views Education» more  SIGCSE 2005»
16 years 8 days ago
Experiences teaching operating systems using virtual platforms and linux
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...
Jason Nieh, Chris Vaill