532 search results - page 72 / 107 » Process Algebras for Quantitative Analysis |
CONCUR
2008
Springer
15 years 18 days ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
ETS
2000
IEEE
14 years 10 months ago
2000
IEEE
This study focused on the integration of a Web shell for supporting emergent-collaboration activities in six graduate courses (115 students) in the Tel-Aviv University School of E...
100
click to vote
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
We present the first report of automatic sentiment summarization in the legal domain. This work is based on processing a set of legal questions with a system consisting of a semi...
ANCS
2005
ACM
15 years 4 months ago
2005
ACM
Network processors (NPs) promise a flexible, programmable packet processing infrastructure for network systems. To make full use of the capabilities of network processors, it is ...
CHI
2005
ACM
15 years 11 months ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...