3384 search results - page 95 / 677 » More Testable Properties |
LAWEB
2006
IEEE
14 years 2 months ago
2006
IEEE
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
EACL
2010
ACL Anthology
13 years 10 months ago
2010
ACL Anthology
The premise of the work presented in this chapter is that much of the existing work on the generation of referring expressions has focused on aspects of the problem that appear to ...
ESANN
2006
13 years 10 months ago
2006
Topology preservation of Self-Organizing Maps (SOMs) is an advantageous property for correct clustering. Among several existing measures of topology violation, this paper studies t...