22698 search results - page 4031 / 4540 » Modeling in Software Engineering |
165
Voted
SP
2007
IEEE
16 years 29 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
175
click to vote
LCPC
2007
Springer
16 years 25 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
176
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
163
click to vote
CONIELECOMP
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
180
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...