2576 search results - page 238 / 516 » Methodology work is ontology work |
181
Voted
IJCIM
2007
15 years 6 months ago
2007
Worldwide competition originated the development of Integrated E-Supply Chains (IESC) that are distributed manufacturing systems integrating international logistics and informatio...
203
click to vote
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
174
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
222
click to vote
TWC
2010
15 years 1 months ago
2010
This paper proposes a framework for distributed sequential parameter estimation in wireless sensor networks. In the proposed scheme, the estimator is updated sequentially at the c...
205
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...