2674 search results - page 97 / 535 » Implementation issues for an interactive evolutionary comput... |
122
Voted
PDPTA
2000
15 years 4 months ago
2000
In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructu...
115
Voted
SUTC
2006
IEEE
15 years 9 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
153
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
109
Voted
COLING
1996
15 years 4 months ago
1996
In this paper we analyse the problem of generating referring expressions in a multilingnal generation system that produces instructions on how to fill out pension forms. The model...
170
Voted
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...