5377 search results - page 919 / 1076 » Programming Languages For Interactive Computing |
128
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
146
click to vote
IJDE
2007
15 years 3 months ago
2007
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
285
click to vote
DIMACS
1996
15 years 4 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...
147
click to vote
MICAI
2005
Springer
15 years 8 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
156
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...