Sciweavers

3259 search results - page 523 / 652
» Modeling Autonomous-System Relationships
Sort
View
KBSE
2007
IEEE
15 years 9 months ago
Test suite reduction and prioritization with call trees
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhamme...
111
Voted
WECWIS
2007
IEEE
148views ECommerce» more  WECWIS 2007»
15 years 8 months ago
The Core and Shapley Value Analysis for Cooperative Formation of Procurement Networks
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
T. S. Chandrashekar, Y. Narahari
110
Voted
APN
2007
Springer
15 years 8 months ago
Name Creation vs. Replication in Petri Net Systems
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...
Fernando Rosa Velardo, David de Frutos-Escrig
122
Voted
ATAL
2007
Springer
15 years 8 months ago
Routing games with an unknown set of active players
In many settings there exists a set of potential participants, but the set of participants who are actually active in the system, and in particular their number, is unknown. This ...
Itai Ashlagi, Dov Monderer, Moshe Tennenholtz
115
Voted
FROCOS
2007
Springer
15 years 8 months ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki