3819 search results - page 601 / 764 » An Outsourcing Model of Software Development |
126
click to vote
LREC
2008
15 years 2 months ago
2008
In the context of the CATCH research program that is currently carried out at a number of large Dutch cultural heritage institutions our ambition is to combine and exchange hetero...
101
click to vote
WSC
1998
15 years 2 months ago
1998
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
96
Voted
NRHM
1998
15 years 19 days ago
1998
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
131
click to vote
CONSTRAINTS
2011
14 years 8 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...