14360 search results - page 2417 / 2872 » Time Modeling in MARTE |
171
click to vote
SCOPES
2004
Springer
16 years 6 days ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
189
click to vote
SGAI
2004
Springer
16 years 6 days ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
202
Voted
TCC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
150
Voted
VLDB
2004
ACM
16 years 6 days ago
2004
ACM
The ObjectRank system applies authority-based ranking to keyword search in databases modeled as labeled graphs. Conceptually, authority originates at the nodes (objects) containin...
193
Voted
VLDB
2004
ACM
16 years 6 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...