4476 search results - page 838 / 896 » A flexible framework for engineering |
140
click to vote
VMCAI
2007
Springer
16 years 10 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
214
click to vote
CCECE
2006
IEEE
16 years 9 days ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
182
click to vote
CCECE
2006
IEEE
16 years 9 days ago
2006
IEEE
Recent experimental evidences have shown that ribonucleic acid (RNA) plays a greater role in the cell than previously thought. An ensemble of RNA sequences believed to contain sig...
177
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
163
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...