Sciweavers

1479 search results - page 33 / 296
» Management without (Detailed) Models
Sort
View
MSOM
2007
105views more  MSOM 2007»
13 years 8 months ago
Managing a Bank's Currency Inventory Under New Federal Reserve Guidelines
New currency recirculation guidelines implemented by the Federal Reserve System (Fed) of the United States are intended to reduce the overuse of its currency processing services b...
H. Neil Geismar, Milind Dawande, Divakar Rajamani,...
SIGACT
2010
68views more  SIGACT 2010»
13 years 3 months ago
A survey of buffer management policies for packet switches
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
Michael H. Goldwasser
ICSE
2009
IEEE-ACM
13 years 6 months ago
Improving conflict resolution in model versioning systems
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...
Petra Broschy
MEMOCODE
2010
IEEE
13 years 6 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
PADS
2003
ACM
14 years 2 months ago
Implementation of Federation Management Services over Federation Community Networks
A federation community is a group of federations working together to achieve a common goal. With a federation community, a large-scale simulation can be built using existing simul...
Wentong Cai, Guangya Li, Stephen John Turner, Bu-S...