4258 search results - page 638 / 852 » Languages and Interactive Software Development |
130
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...
146
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
235
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
154
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
147
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...