3888 search results - page 427 / 778 » Change-Driven Model Transformations |
274
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
175
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
174
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
158
click to vote
ICFEM
2007
Springer
16 years 28 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
166
click to vote
SIGMETRICS
2005
ACM
16 years 10 days ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...