1525 search results - page 252 / 305 » Formal Models for Communication-Based Design |
101
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
85
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
104
click to vote
ICPADS
2007
IEEE
15 years 7 months ago
2007
IEEE
Min, Veeravalli, and Barlas have recently proposed strategies to minimize the overall execution time of one or several divisible loads on a heterogeneous linear network, using one...
117
click to vote
WER
2007
Springer
15 years 6 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...
84
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...