5961 search results - page 182 / 1193 » Design Science and Software Engineering |
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
ABSTRACT. We present a simple exact algorithm for the INDEPENDENT SET problem with a run
SIGCSE
2008
ACM
13 years 10 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
ASWEC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
- Rapid progress in deployment of national and regional optical network infrastructures holds the promise to provide abundant, inexpensive bandwidth to scientific communities. The ...