10159 search results - page 1662 / 2032 » System Design Validation Using Formal Models |
185
click to vote
WSC
2007
15 years 9 months ago
2007
In a supply chain, there are wide variety of problems, such as transportation scheduling problems and warehouse location problems. These problems are independently defined as opt...
201
click to vote
IADIS
2003
15 years 8 months ago
2003
Hypermedia systems (whether web sites or not) should support multilevel policiesm, offering different views and manipulation abilities of the same information to users with differ...
208
click to vote
WSC
2004
15 years 8 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
185
Voted
CIMAGING
2009
15 years 8 months ago
2009
The surface reflectance function of many common materials varies slowly over the visible wavelength range. For this reason, linear models with a small number of bases (5-8) are fr...
179
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...