277 search results - page 46 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
107
click to vote
AAAI
2006
15 years 1 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
110
click to vote
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
IPSN
2007
Springer
15 years 5 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
102
click to vote
SIGSOFT
2005
ACM
16 years 12 days ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
75
Voted
EPEW
2007
Springer
15 years 5 months ago
2007
Springer
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...