21379 search results - page 3988 / 4276 » The profession of IT - Evolutionary system development |
164
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
233
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
158
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
An important factor that needs to be taken into account by end-users and systems (schedulers, resource brokers, policy brokers) when mapping applications to the Grid, is the perfo...
221
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
Our energy production increasingly depends on renewable energy sources, which impose new challenges for distributed and decentralized systems. One problem is that the availability...
174
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...