14056 search results - page 2491 / 2812 » Consistency in Model Integration |
228
click to vote
SCOPES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
188
click to vote
VLDB
2004
ACM
16 years 3 days ago
2004
ACM
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...
162
click to vote
AOSD
2010
ACM
16 years 2 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
187
click to vote
3DIM
2003
IEEE
16 years 1 days ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
207
click to vote
AGP
2003
IEEE
16 years 1 days ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...