950 search results - page 131 / 190 » Tool Support for Model Checking of Web Application Designs |
121
click to vote
IJSN
2008
15 years 3 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
133
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
149
Voted
CONCURRENCY
2002
15 years 3 months ago
2002
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
138
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
124
click to vote
SENSYS
2004
ACM
15 years 8 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...