10038 search results - page 562 / 2008 » Model Checking for Managers |
205
click to vote
APVIS
2009
15 years 8 months ago
2009
Although significant progress has been made toward effective insight discovery in visual sense making approaches, there is a lack of effective and efficient approaches to manage t...
232
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
209
click to vote
CIKM
1994
Springer
15 years 11 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
230
click to vote
ACMICEC
2008
ACM
15 years 9 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
222
click to vote
IMAGING
2000
15 years 8 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...