7167 search results - page 330 / 1434 » A Technique for Invariant Generation |
215
click to vote
WEBDB
2009
Springer
16 years 2 months ago
2009
Springer
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
210
Voted
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
190
click to vote
CF
2004
ACM
16 years 1 months ago
2004
ACM
Next generation architectures will require innovative solutions to reduce energy consumption. One of the trends we expect is more extensive utilization of compiler information dir...
228
Voted
MIDDLEWARE
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
239
Voted
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...