634 search results - page 77 / 127 » Separability in the Ambient Logic |
ICWE
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
SAS
2007
Springer
14 years 4 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
WILF
2007
Springer
14 years 4 months ago
2007
Springer
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...