1761 search results - page 49 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
144
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
140
Voted
STACS
1997
Springer
15 years 9 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
134
click to vote
ISCC
2003
IEEE
15 years 10 months ago
2003
IEEE
WTLS (Wireless Transport Layer Security) is an important standard protocol for secure wireless access to Internet services. WTLS employs public-key cryptosystems during the handsh...
156
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
181
click to vote
ACL
2012
13 years 7 months ago
2012
An ideal summarization system should produce summaries that have high content coverage and linguistic quality. Many state-ofthe-art summarization systems focus on content coverage...