3564 search results - page 234 / 713 » Evaluating a Formal Modelling Language |
175
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
157
click to vote
CAISE
2007
Springer
16 years 22 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
160
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
189
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Distributed mobile applications operate on devices with diverse capabilities, in heterogeneous environments, where parameters such as processor, memory and network utilisation, are...
176
click to vote
DGO
2008
15 years 8 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...