400 search results - page 17 / 80 » Moving Proofs-As-Programs into Practice |
EGOV
2003
Springer
14 years 22 days ago
2003
Springer
This paper offers a fresh perspective to study the role and implications of information and communications technologies (ICT) in processes of local democracy. It moves away from ea...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
This panel gives a non-standard view of the future of software engineering. Two of the speakers are recent Ph.D. graduates in computer science, with expertise in software engineer...
SAFECOMP
2001
Springer
13 years 12 months ago
2001
Springer
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
ICRA
1999
IEEE
13 years 11 months ago
1999
IEEE
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
SJIS
2002
13 years 7 months ago
2002
This paper calls for a re-specification of IT systems design and development practice as corealisation. Co-realisation is an orientation to technology production that develops out...