2540 search results - page 168 / 508 » Abstract Logics as Dialgebras |
156
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
161
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
135
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
163
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
166
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...