2233 search results - page 209 / 447 » On the Complexity of Theory Curbing |
171
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
206
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
157
click to vote
CSEE
2003
Springer
15 years 11 months ago
2003
Springer
Many software engineering courses include all-term projects to convey principles relating to large-scale multi-person development. But even such projects will easily be too small ...
137
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
161
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...