620 search results - page 97 / 124 » Abstract Analysis of Symbolic Executions |
125
Voted
ML
1998
ACM
15 years 8 days ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
112
Voted
SEUS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
116
click to vote
ICRA
2009
IEEE
14 years 10 months ago
2009
IEEE
Maintaining the network connectivity in mobile Multi-Robot Systems (MRSs) is a key issue in many robotic applications. In our view, the solution to this problem consists of two mai...
126
Voted
EMISA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
233
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract-- Scientific workflow management systems are increaingly providing the ability to manage and query the provenance of data products. However, the problem of differencing th...