27 search results - page 2 / 6 » Immutability changes everything |
SIGCSE
2006
ACM
14 years 5 days ago
2006
ACM
By expanding the teaching styles used in computer science classrooms, we can expand the audience of students that enjoy and excel in technology. Rather than focusing on major curr...
IWPSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
The National Institute of Standards and Technology (NIST) has efforts underway to accelerate the international development of interoperability standards to support the future mode...
ICSE
1993
IEEE-ACM
13 years 10 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
IROS
2006
IEEE
14 years 8 days ago
2006
IEEE
— Traditionally, robot control has been done typically by “highly precise control algorithms”: the position of each movable body part is accurately determined at any time wit...