4979 search results - page 428 / 996 » A strategy for knowledge management |
195
click to vote
FMCAD
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
169
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
—Today’s business climate requires you to constantly evolve IT strategies responding to new opportunities or threats. While the fundamentals of IT - reliability, availability, ...
124
click to vote
BIOSYSTEMS
2008
15 years 7 months ago
2008
From a practical point of view, the most efficient strategy for pest control is to combine an array of techniques to control the wide variety of potential pests that may threaten ...
151
click to vote
JCP
2006
15 years 7 months ago
2006
Today's business climate requires to constantly evolve IT strategies for responding to new opportunities or threats. While the fundamentals of IT -- reliability, availability,...
185
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...