2858 search results - page 448 / 572 » Logics with Aggregate Operators |
136
click to vote
ISDA
2005
IEEE
15 years 12 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
150
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
170
click to vote
AADEBUG
2005
Springer
15 years 12 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
144
click to vote
CALCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
187
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...