Sciweavers

1472 search results - page 98 / 295
» Technique Integration for Requirements Assessment
Sort
View
IJBIS
2010
145views more  IJBIS 2010»
15 years 3 months ago
A multi-attribute group decision support system for information technology project selection
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
Faramak Zandi, Madjid Tavana
ATAL
2010
Springer
15 years 7 months ago
Changing neighbours: improving tag-based cooperation
In systems of autonomous self-interested agents, in which agents' neighbourhoods are defined by their connections to others, cooperation can arise through observation of the ...
Nathan Griffiths, Michael Luck
CASES
2003
ACM
15 years 11 months ago
Extending STI for demanding hard-real-time systems
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
Benjamin J. Welch, Shobhit O. Kanaujia, Adarsh See...
CAV
2011
Springer
202views Hardware» more  CAV 2011»
14 years 9 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
PE
2008
Springer
102views Optimization» more  PE 2008»
15 years 5 months ago
Multipoint-to-point lightpaths in all-optical networks: Dimensioning and cost analysis
One of the major concerns in optical networks is the bandwidth underutilization problem. In fact, as WDM technology keeps maturing, there is a bandwidth gap between the transmissi...
Nizar Bouabdallah, Guy Pujolle, Harry G. Perros