2335 search results - page 122 / 467 » Functional Differentiation of Computer Programs |
AAAI
2007
14 years 19 days ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
EUSFLAT
2007
13 years 11 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...
ISPA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
MSR
2006
ACM
14 years 4 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...