4917 search results - page 510 / 984 » Software Engineering is Not Computer Science |
140
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
127
click to vote
IOLTS
2006
IEEE
15 years 11 months ago
2006
IEEE
Recently, various attacks have been proposed against many cryptosystems, exploiting deliberate error injection during the computation process. In this paper, we add a residue-base...
144
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
113
click to vote
ENDM
2010
15 years 2 months ago
2010
This paper addresses the jobshop and the flowshop scheduling problems with minimum and maximum time lags. To solve this kind of problems, we propose adaptations of Climbing Discre...
266
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...