8828 search results - page 1163 / 1766 » Formal methods in practice |
207
click to vote
ICCS
2004
Springer
16 years 24 days ago
2004
Springer
In the present paper routing and wavelength assignment (RWA) in optical WDM networks is discussed. Previous techniques on based on the integer linear programming and graph coloring...
183
click to vote
LSO
2004
Springer
16 years 24 days ago
2004
Springer
The need for organizational learning support is common among all software development companies but is not addressed by agile software methods practitioners. The typical Experience...
200
click to vote
MICAI
2004
Springer
16 years 24 days ago
2004
Springer
A number of problems in computer science can be solved efficiently with the so called memory based or kernel methods. Among this problems (relevant to the AI community) are multime...
176
click to vote
PPSN
2004
Springer
16 years 24 days ago
2004
Springer
Mathematical modeling of the spread of infectious diseases is a well established field with high practical importance. Underlying most analytical approaches is the assumption of ...
190
click to vote
PSD
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Current network flows heuristics for cell suppression in positive tables (i.e, cell values are greater or equal than zero) rely on the solution of several minimum-cost s...