7839 search results - page 17 / 1568 » What's there and what's not |
WIFT
1998
IEEE
14 years 26 days ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
What do young people want from information and communication technology? Why do they adopt some technologies but reject others? What roles do mobile technologies play in their liv...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
The recent explosion of interest in graph cut methods in computer vision naturally spawns the question: what energy functions can be minimized via graph cuts? This question was fi...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Software components, if usedproperly, ofj~r many software engineering benefits. Yet, they also pose many original challenges starting fi'om quality assurance and ranging to a...
SIGCSE
2010
ACM
14 years 3 months ago
2010
ACM
Video game development is an attractive career objective for many computer science students. Colleges are starting degree programs and specializations to serve this interest, but ...