237 search results - page 38 / 48 » Towards Two-Level Formal Modeling of Computer-Based Systems |
AC
1998
Springer
13 years 7 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
APCCM
2007
13 years 9 months ago
2007
The importance of metadata has been broadly referred in the last years, mainly in the field of data warehousing and decision support systems. Contemporarily, in the adjacent field...
RAS
2000
13 years 7 months ago
2000
In several species of ants, workers cooperate to retrieve large prey. Usually, one ant finds a prey item, tries to move it, and when unsuccessful for some time, recruits nestmates...
CSCW
2010
ACM
14 years 4 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
BMCBI
2007
13 years 7 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...