Sciweavers

1943 search results - page 84 / 389
» Software and higher education
Sort
View
SIGSOFT
2010
ACM
13 years 2 months ago
Thoughts on automated software design and synthesis
I summarize some personal observations on the topic of automated software design and synthesis that I accumulated over twenty years. They are intended to alert researchers to pitf...
Don S. Batory
COMPSAC
1998
IEEE
14 years 1 hour ago
A Fresh Look at Programming-in-the-Large
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...
ECIS
2004
13 years 9 months ago
E-learning: planned and emergent strategies
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...
Julian M. Sims, Philip Powell, Richard T. Vidgen
JCHE
2007
81views more  JCHE 2007»
13 years 7 months ago
Supporting Self-Organized Learning with Personal WebPublishing Technologies and Practices
I N THIS PAPER, we suggest that self-organized learning can be supported through emergent and informal Web technologies and propose that these technologies can be used to encourag...
Priya Sharma, Sebastian Fiedler
CORR
2010
Springer
163views Education» more  CORR 2010»
13 years 4 months ago
NP-hardness of Deciding Convexity of Quartic Polynomials and Related Problems
We show that unless P=NP, there exists no polynomial time (or even pseudo-polynomial time) algorithm that can decide whether a multivariate polynomial of degree four (or higher ev...
Amir Ali Ahmadi, Alexander Olshevsky, Pablo A. Par...