2496 search results - page 390 / 500 » Error-detecting properties of languages |
151
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
194
click to vote
ENTCS
2006
15 years 4 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
161
click to vote
JSS
2007
15 years 4 months ago
2007
We present the SEcure communicAtion Library (SEAL), a Linux-based C language application programming interface (API) library that implements secure group key agreement algorithms ...
126
click to vote
NDJFL
1998
15 years 3 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
166
click to vote
JUCS
2010
15 years 2 months ago
2010
: Classical classification and clustering based on equivalence relations are very important tools in decision-making. An equivalence relation is usually determined by properties of...