2613 search results - page 171 / 523 » Proposal for Tools Supporting Component Based Programming |
199
Voted
WACC
1999
ACM
15 years 10 months ago
1999
ACM
The effort in software process support has focused so far on modeling and enacting processes. A certain amount of work has been done, but little has reached a satisfactory level o...
161
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
147
click to vote
IV
2005
IEEE
15 years 11 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
185
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
153
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...