Sciweavers

1824 search results - page 174 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
PRESENCE
2010
76views more  PRESENCE 2010»
14 years 11 months ago
Modularity for Large Virtual Reality Applications
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
Jérémie Allard, Jean-Denis Lesage, B...
124
Voted
ISN
1999
Springer
112views Communications» more  ISN 1999»
15 years 8 months ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz
149
Voted
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 2 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
ENTCS
2006
134views more  ENTCS 2006»
15 years 4 months ago
Computing Over-Approximations with Bounded Model Checking
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
Daniel Kroening
AES
2007
Springer
141views Cryptology» more  AES 2007»
15 years 4 months ago
Numerical methods for modelling leaching of pollutants in soils
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
M. Isabel Asensio, B. Ayuso, Luis Ferragut, G. San...