3564 search results - page 373 / 713 » Evaluating a Formal Modelling Language |
137
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
219
click to vote
OR
2011
Springer
14 years 11 months ago
2011
Springer
Developing Web-based systems for agriculture and rural development requires the collaboration of experts from different scientific fields and backgrounds. Thus, it is crucial to ...
148
click to vote
ASE
2008
15 years 4 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
154
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
143
click to vote
AICOM
2005
15 years 4 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...