3819 search results - page 725 / 764 » An Outsourcing Model of Software Development |
136
Voted
WOTUG
2008
15 years 4 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
132
Voted
WORM
2004
15 years 4 months ago
2004
A major challenge when attempting to analyze and model large-scale Internet phenomena such as the dynamics of global worm propagation is finding ate abstractions that allow us to ...
110
click to vote
WSC
1998
15 years 4 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
128
Voted
LOBJET
2006
15 years 3 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
235
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...