2613 search results - page 162 / 523 » Proposal for Tools Supporting Component Based Programming |
239
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
132
click to vote
ISMB
1997
15 years 7 months ago
1997
The world wide web(WWW)has becomecritical for storing and disseminatingbiological data. It offers an additional opportunity, however,to support distributed computation and sharing...
168
click to vote
VL
2007
IEEE
16 years 9 days ago
2007
IEEE
End-user programming provides a unique opportunity to study informal computer science education and knowledge acquisition in the real world. We seek to explore the use of communit...
208
click to vote
AMAI
1999
Springer
15 years 5 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
151
click to vote
IJCAI
2001
15 years 7 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...