846 search results - page 125 / 170 » Separating Designs from Implementations: Role-Based Software... |
110
click to vote
JISBD
2001
15 years 2 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
107
click to vote
AICCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
Poorly designed software systems are difficult to understand and maintain. Modifying code in one place could lead to unwanted repercussions elsewhere due to high coupling. Adding ...
107
click to vote
CARDIS
2000
Springer
15 years 5 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
108
click to vote
TIT
2002
15 years 1 months ago
2002
This paper considers noncoherent communication over a frequency-nonselective channel in which the time-varying channel gain is unknown a priori, but is approximately constant over ...
116
click to vote
ASWEC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...