2335 search results - page 355 / 467 » Functional Differentiation of Computer Programs |
115
click to vote
AIED
2009
Springer
15 years 9 months ago
2009
Springer
The core problem we address in this paper is how to take a declarative conceptual representation of a complex system and produce an agent-based simulation of that model. In particu...
125
Voted
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
154
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
114
click to vote
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...