557 search results - page 4 / 112 » The L4.verified Project - Next Steps |
ALIFE
2004
13 years 8 months ago
2004
In the search for the primary roots of autonomy (a pivotal concept in Varela's comprehensive understanding of living beings), the theory of autopoiesis provided an explicit cr...
MPC
1989
Springer
14 years 22 days ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
FSKD
2006
Springer
14 years 11 days ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...