10241 search results - page 1572 / 2049 » Goal-Driven Software Development |
151
Voted
ISAAC
1995
Springer
15 years 8 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
142
click to vote
INFOCOM
1991
IEEE
15 years 8 months ago
1991
IEEE
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
126
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
132
click to vote
COORDINATION
2010
Springer
15 years 8 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
150
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...