4917 search results - page 720 / 984 » Software Engineering is Not Computer Science |
210
Voted
ISORC
2005
IEEE
16 years 8 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
158
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
142
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
162
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
153
click to vote
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...