400 search results - page 69 / 80 » Moving Proofs-As-Programs into Practice |
BCSHCI
2008
13 years 9 months ago
2008
The involvement of technology to support and enhance learning is ever increasing; for example moving from the traditional blackboard to electronic whiteboards, from printed books ...
ECIS
2004
13 years 9 months ago
2004
The integration of supply chains offers many benefits; yet, it may also render organisations more vulnerable to electronic fraud (e-fraud). E-fraud can drain on organisations'...
ECEH
2006
13 years 9 months ago
2006
: Medical practice today still entails sorting through scattered information on a specific patient. Making things more difficult, the EU, in bringing its member states closer toget...
ECIS
2001
13 years 9 months ago
2001
The IT Plan is generally seen as a cornerstone of the IS/IT presence in an organisation. Researchers have outlined various approaches to IT planning and many have suggested catego...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
The Web is moving toward a collection of interoperating Web services. Achieving this interoperability requires dynamic discovery of Web services on the basis of their capabilities...