Sciweavers

4917 search results - page 153 / 984
» Software Engineering is Not Computer Science
Sort
View
SIGCSE
2004
ACM
111views Education» more  SIGCSE 2004»
15 years 10 months ago
Events not equal to GUIs
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
Stuart A. Hansen, Timothy V. Fossum
169
Voted
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 4 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
ACSC
2006
IEEE
15 years 11 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
ACMSE
2000
ACM
15 years 9 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson
110
Voted
FOSSACS
2009
Springer
15 years 11 months ago
On the Expressive Power of Restriction and Priorities in CCS with Replication
Jesús Aranda, Frank D. Valencia, Cristian V...