1748 search results - page 135 / 350 » Using Aspect Programming to Secure Web Applications |
154
click to vote
IJWIS
2006
15 years 3 months ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
127
click to vote
HOTOS
1997
IEEE
15 years 7 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
167
click to vote
AOSD
2011
ACM
14 years 6 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
123
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
135
Voted
FTDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
Ubicomp applications are characterized as situationaware, frequently-and-ephemerally-communicated and QoS-properties-associated. Using middleware to provide multiple QoS support f...