1026 search results - page 179 / 206 » Software Engineering for Self-Adaptive Systems: A Research R... |
257
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
171
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
153
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
236
click to vote
CMC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
205
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...