Sciweavers

8697 search results - page 1420 / 1740
» An Approach to the Enterprise Integration
Sort
View
SAFECOMP
2004
Springer
16 years 6 days ago
Using Formal Methods in a Retrospective Safety Case
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
Lars-Henrik Eriksson
SAS
2004
Springer
16 years 6 days ago
Generalized Records and Spatial Conjunction in Role Logic
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
Viktor Kuncak, Martin C. Rinard
SEM
2004
Springer
16 years 6 days ago
Extending Standard Java Runtime Systems for Resource Management
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
Walter Binder, Jarle Hulaas
TAL
2004
Springer
16 years 6 days ago
SisHiTra : A Hybrid Machine Translation System from Spanish to Catalan
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
José R. Navarro, Jorge González, Dav...
VLDB
2004
ACM
144views Database» more  VLDB 2004»
16 years 6 days ago
Returning Modified Rows - SELECT Statements with Side Effects
SQL in the IBM® DB2® Universal Database™ for Linux®, UNIX®, and Windows® (DB2 UDB) database management product has been extended to support nested INSERT, UPDATE, and DELET...
Andreas Behm, Serge Rielau, Richard Swagerman
« Prev « First page 1420 / 1740 Last » Next »