1669 search results - page 214 / 334 » Structured Specification of Model Interpreters |
119
Voted
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
158
Voted
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
137
Voted
ICDE
2009
IEEE
15 years 1 months ago
2009
IEEE
Online forums contain huge amounts of valuable user-generated content. In current forum systems, users have to passively wait for other users to visit the forum systems and read/an...
170
Voted
PPSN
1994
Springer
15 years 7 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
111
Voted
DEON
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...