Sciweavers

1054 search results - page 63 / 211
» Determining Computing Science's Role
Sort
View
COMPUTER
2006
87views more  COMPUTER 2006»
14 years 12 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson
IJFCS
2007
98views more  IJFCS 2007»
14 years 11 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
LISA
2004
15 years 1 months ago
autoMAC: A Tool for Automating Network Moves, Adds, and Changes
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...
Christopher J. Tengi, James M. Roberts, Joseph R. ...
SIGCSE
2010
ACM
169views Education» more  SIGCSE 2010»
15 years 6 months ago
Interfaces first (and foremost) with Java
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
Paolo A. G. Sivilotti, Matthew Lang
SYNTHESE
2011
82views more  SYNTHESE 2011»
14 years 6 months ago
The philosophy of simulation: hot new issues or same old stew?
Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The m...
Roman Frigg, Julian Reiss