7529 search results - page 1157 / 1506 » The Modula-3 Type System |
147
click to vote
JUCS
2006
15 years 6 months ago
2006
: When dealing with remote systems, it is desirable that these systems are capable of operation within acceptable levels with minimal control and maintenance. In terms or transmiss...
160
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Rules are a type of human-understandable knowledge, and rule-based methods are very popular in building decision support systems. However, most current rule based classification sy...
171
click to vote
LOGCOM
2006
15 years 6 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
131
click to vote
ET
2007
15 years 6 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
192
click to vote
PERVASIVE
2008
Springer
15 years 6 months ago
2008
Springer
Networked devices for the storage and rendering of digital media are rapidly becoming ubiquitous in homes throughout the industrialized world. Existing approaches to home media con...