1134 search results - page 121 / 227 » Using Constraints with Action Language for Model Evolution |
201
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
142
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
148
click to vote
ER
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
174
click to vote
INFOCOM
2009
IEEE
16 years 29 days ago
2009
IEEE
—With the power consumption issue of mobile handset taken into account, Single-carrier FDMA (SC-FDMA) has been selected for 3GPP Long-Term Evolution (LTE) uplink multiple access ...
252
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...