1204 search results - page 174 / 241 » Parallel concurrent ML |
107
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
125
Voted
BIRTE
2006
15 years 7 months ago
2006
With the increasing popularity of operational data warehousing, the ability to load data quickly and continuously into an RDBMS is becoming more and more important. However, in th...
135
Voted
AIPS
1994
15 years 4 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
121
Voted
JALC
2006
15 years 3 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
109
click to vote
ACTA
2004
15 years 3 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...