2036 search results - page 99 / 408 » A generic type-and-effect system |
201
Voted
AIFIPP
1992
15 years 1 months ago
1992
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
101
Voted
ENTCS
2006
15 years 21 days ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
118
Voted
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
91
Voted
ITS
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
110
click to vote
JNW
2006
15 years 19 days ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...