Sciweavers

1098 search results - page 29 / 220
» Combining Models for Business Decisions and Software Develop...
Sort
View
WSC
1998
14 years 10 months ago
Experience Using the IBM Supply Chain Simulator
The IBM Supply Chain Simulator (SCS) is a software tool that can help a company or a group of companies make strategic business decisions about the design and operation of its sup...
Sugato Bagchi, Stephen J. Buckley, Markus Ettl, Gr...
ANSS
2007
IEEE
15 years 3 months ago
JANE - The Java Ad Hoc Network Development Environment
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
Daniel Görgen, Hannes Frey, Christian Hiedels
RITA
2000
109views more  RITA 2000»
14 years 9 months ago
A logic-based approach for real-time object-oriented software development
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
Fernando Náufel do Amaral, Edward Hermann H...
83
Voted
FMSD
2002
128views more  FMSD 2002»
14 years 9 months ago
Combining Software and Hardware Verification Techniques
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
Robert P. Kurshan, Vladimir Levin, Marius Minea, D...
SQJ
2008
116views more  SQJ 2008»
14 years 9 months ago
E-commerce system quality assessment using a model based on ISO 9126 and Belief Networks
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
Antonia Stefani, Michalis Nik Xenos