2482 search results - page 369 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
ICTL
1994
14 years 1 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...