1451 search results - page 256 / 291 » Case Studies in Model Manipulation for Scientific Computing |
122
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
155
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
125
click to vote
ICDS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Learning ontology from text is a challenge in knowledge engineering research and practice. Learning relations between concepts is even more difficult work. However, when conside...
131
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
118
click to vote
CANDT
2009
15 years 7 months ago
2009
Protest has made the jump between the offline and the online spaces and is frequently used in most virtual worlds available today. Despite the frequency of these protest actions i...