1917 search results - page 287 / 384 » Decisions under subjective information |
SIGCSE
2004
ACM
14 years 3 months ago
2004
ACM
Ê Among the many ways to focus CS1/CS2 content, two have been published that emphasize concepts of component-based software engineering. Courses based on these two instances of a ...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
IPSN
2004
Springer
14 years 3 months ago
2004
Springer
Distinct from wireless ad hoc networks, wireless sensor networks are data-centric, application-oriented, collaborative, and energyconstrained in nature. In this paper, formulate t...
INFOVIS
2003
IEEE
14 years 3 months ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...