6018 search results - page 222 / 1204 » Factored Translation Models |
176
click to vote
OTM
2007
Springer
16 years 15 hour ago
2007
Springer
Service Oriented Architecture (SOA) has been developed to enhance the integration of various systems to allow organizations to be more flexible in case of business changes. This pa...
132
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Public policy makers and others wishing to understand the potential impact of our actions on the environment need a tool to simulate and visualize relevant processes. Present mode...
171
click to vote
JOT
2008
15 years 5 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
142
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
177
click to vote
W4A
2006
ACM
15 years 12 months ago
2006
ACM
Recent developments in the mobile phone market have led to a significant increase in the number of users accessing the Mobile Internet. Handsets have been improved to support a d...