Sciweavers

1784 search results - page 303 / 357
» A Service Model for Component-Based Development
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
14 years 25 days ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
WSC
2007
13 years 11 months ago
Merging six emergency departments into one: a simulation approach
Simulation of existing systems can reinforce a Subject Matter Expert’s gut feelings. However, it is more difficult to develop intuition for proposed systems, particularly when c...
Martin J. Miller, David M. Ferrin, Marshall Ashby,...
ECIS
2004
13 years 10 months ago
Strategic alliances and shared IS/IT infrastructrues in b2b marketplaces: an exploratory case
In the late 1990's researchers believed that B2B markets were set to revolutionise e-procurement. New marketplaces were being created on an almost weekly basis to cater for t...
Philip O'Reilly, Pat Finnegan
FMOODS
2003
13 years 10 months ago
Managing the Evolution of .NET Programs
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...
Susan Eisenbach, Vladimir Jurisic, Chris Sadler
ATAL
2010
Springer
13 years 10 months ago
Bushfire BLOCKS: a modular agent-based simulation
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
David Scerri, Ferdinand Gouw, Sarah L. Hickmott, I...