2838 search results - page 215 / 568 » Verifying Controlled Components |
91
Voted
CN
1999
15 years 12 days ago
1999
Internet telephony offers the opportunity to design a global multimedia communications system that may eventually replace the existing telephony infrastructure. We describe the up...
110
Voted
CIKM
2011
Springer
14 years 21 days ago
2011
Springer
A key component of BM25 contributing to its success is its sub-linear term frequency (TF) normalization formula. The scale and shape of this TF normalization component is controll...
147
click to vote
ECOWS
2008
Springer
15 years 2 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
106
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
81
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...