Sciweavers

3782 search results - page 444 / 757
» Engineering Social Order
Sort
View
184
Voted
SCAM
2007
IEEE
16 years 29 days ago
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
Walter Binder, Jarle Hulaas, Philippe Moret
TASE
2007
IEEE
16 years 29 days ago
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso...
B
2007
Springer
16 years 26 days ago
Symmetry Reduction for B by Permutation Flooding
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
CISSE
2007
Springer
16 years 26 days ago
Resource Allocation in Market-based Grids Using a History-based Pricing Mechanism
In an ad-hoc Grid environment where producers and consumers compete for providing and employing resources, trade handling in a fair and stable way is a challenging task. Dynamic ch...
Behnaz Pourebrahimi, S. Arash Ostadzadeh, Koen Ber...
ECSA
2007
Springer
16 years 26 days ago
Effective Tool Support for Architectural Knowledge Sharing
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
Rik Farenhorst, Patricia Lago, Hans van Vliet