Sciweavers

2860 search results - page 136 / 572
» The Greenfoot Programming Environment
Sort
View
212
Voted
ESORICS
2010
Springer
15 years 7 months ago
Flexible Scheduler-Independent Security
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
Heiko Mantel, Henning Sudbrock
JSW
2006
89views more  JSW 2006»
15 years 7 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
SIGCSE
2008
ACM
134views Education» more  SIGCSE 2008»
15 years 6 months ago
Language design and implementation using ruby and the interpreter pattern
In this paper, the S-expression Interpreter Framework (SIF) is presented as a tool for teaching language design and implementation. The SIF is based on the interpreter design patt...
Ariel Ortiz
ICC
2007
IEEE
133views Communications» more  ICC 2007»
16 years 1 months ago
Application Composition in the SIP Servlet Environment
—The SIP servlet standard is a popular Java application programming interface (API) for developing and deploying Session Initiation Protocol (SIP) applications in Voice over IP (...
Eric Cheung, K. Hal Purdy
WCRE
2003
IEEE
16 years 7 days ago
Toward an environment for comprehending distributed systems
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
Maher Salah, Spiros Mancoridis