288 search results - page 54 / 58 » On challenges of model transformation from UML to Alloy |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
The process by which a cell senses and responds to its environment, as in signal transduction, is often mediated by a network of protein-protein interactions, in which proteins co...
152
click to vote
IC
2010
14 years 7 months ago
2010
: Computing is being transformed to a model consisting of services that are commoditised and delivered in a manner similar to utilities such as water, electricity, gas, and telepho...
JUCS
2008
14 years 9 months ago
2008
Abstract: Intelligence and Knowledge play more and more important roles in building complex intelligent systems, for instance, intrusion detection systems, and operational analysis...
APN
2007
Springer
15 years 3 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
108
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...