2722 search results - page 212 / 545 » The Model Evolution Calculus |
108
Voted
ICFEM
2007
Springer
15 years 9 months 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...
106
click to vote
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
142
click to vote
APCCM
2010
15 years 4 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
138
click to vote
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
111
click to vote
GCC
2005
Springer
15 years 9 months ago
2005
Springer
The dynamics of knowledge is important for virtual organizations (VOs) knowledge management (KM) to improve the fast response capabilities and flexible problem solving capabilities...