5525 search results - page 717 / 1105 » Verification of Model Transformations |
192
click to vote
FDBS
2001
15 years 8 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
176
click to vote
FIW
2000
15 years 8 months ago
2000
While Internet telephony aims to provide services at least equal to traditional telephony, the architecture of Internet telephony is sufficiently different to make it necessary to ...
155
click to vote
ATAL
2010
Springer
15 years 8 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...
181
click to vote
CSIE
2009
IEEE
15 years 8 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
244
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...