200 search results - page 3 / 40 » Patterns in Application Development Sourcing in the Financia... |
79
Voted
ISJ
2002
14 years 9 months ago
2002
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little em...
81
Voted
GI
2004
Springer
15 years 3 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
76
Voted
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
Information integration in enterprises is a nightmare due to the differences in software and hardware platforms and due to syntactic and semantic differences in the schemas of the...
SPIN
2012
Springer
13 years 8 hour ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...