532 search results - page 72 / 107 » Process Algebras for Quantitative Analysis |
CONCUR
2008
Springer
13 years 9 months 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
13 years 7 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...
ICAIL
2009
ACM
14 years 2 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
14 years 1 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
14 years 8 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...