27 search results - page 4 / 6 » The Intermediate Customer Anti-Pattern |
DAC
1999
ACM
13 years 11 months ago
1999
ACM
The increasing size and complexity of designs is making the use of hardware description languages (HDLs), such as Verilog and VHDL, more prevalent. They are able to describe both ...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
ER
2007
Springer
13 years 11 months ago
2007
Springer
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...