Sciweavers

622 search results - page 46 / 125
» Integrating Software Construction and Software Deployment
Sort
View
CSFW
2005
IEEE
15 years 9 months ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
OOPSLA
2005
Springer
15 years 9 months ago
A delta-driven execution model for semantic computing
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
Roly Perera, Jeff Foster, György Koch
SSDBM
2006
IEEE
147views Database» more  SSDBM 2006»
15 years 9 months ago
Task-Oriented Integrated Use of Biological Web Data Sources
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
Mustafa Kirac, Ali Cakmak, Gultekin Özsoyoglu
WSC
1998
15 years 5 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...
IRI
2006
IEEE
15 years 10 months ago
Applying the layered decision model to the design of language-based security systems
Safeguarding practices for networked systems involves decisions in at least three areas: identification of welldefined security policies, selection of cost-effective defense strat...
Huaqiang Wei, Jim Alves-Foss