5550 search results - page 665 / 1110 » Different Approaches to Proof Systems |
181
click to vote
LCTRTS
2010
Springer
16 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
235
click to vote
AISADM
2005
Springer
16 years 21 days ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
224
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
182
click to vote
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
Finding and keeping track of other researchers’ publication lists is an essential activity for every researcher, because they often contain citations not found elsewhere and may...
217
click to vote
JCDL
2004
ACM
16 years 18 days ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...