1837 search results - page 234 / 368 » Architecture = Abstractions over Software |
129
Voted
IWPSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software systems need to change over time to cope with new requirements, and due to design decisions, the changes happen to crosscut the system’s structure. Understanding how ch...
112
click to vote
ASE
2005
15 years 18 days ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
124
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
108
click to vote
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
113
Voted
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...