796 search results - page 56 / 160 » An Overview of Separation Logic |
103
Voted
ISTA
2003
15 years 2 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
118
click to vote
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
97
Voted
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...
110
Voted
CIMCA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes the system “Fibered Guard”, which is a hybrid intelligent web access management approach for the prevention of Denial of Service (DoS) and Distributed Deni...
VISSOFT
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...