3991 search results - page 347 / 799 » Bounding homogeneous models |
208
click to vote
ISSTA
2004
ACM
16 years 10 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
158
click to vote
MMAS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
193
click to vote
FATES
2003
Springer
16 years 3 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
180
click to vote
DARS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The connectivity of the con guration space has been a valuable concept in the motion planning for single robots in both known and unknown terrains. We show here that n-co...
213
click to vote
ISHPC
1999
Springer
15 years 11 months ago
1999
Springer
Superscalar microprocessor efficiency is generally not as high as anticipated. In fact, sustained utilization below thirty percent of peak is not uncommon, even for fully optimized...