Sciweavers

1720 search results - page 106 / 344
» eg 2008
Sort
View
SAC
2008
ACM
15 years 4 months ago
A framework for performance evaluation and functional verification in stochastic process algebras
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
GRAPHICSINTERFACE
2008
15 years 6 months ago
Lightweight task/application performance using single versus multiple monitors: a comparative study
It is becoming increasingly common to see computers with two or even three monitors being used today. People seem to like having more display space available, and intuition tells ...
Youn ah Kang, John T. Stasko
CCR
2005
64views more  CCR 2005»
15 years 4 months ago
A methodology for studying persistency aspects of internet flows
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...
Jörg Wallerich, Holger Dreger, Anja Feldmann,...
ECEASST
2008
67views more  ECEASST 2008»
15 years 4 months ago
Sharing OCL Constraints by Using Web Rules
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a sta...
Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...
TNN
1998
96views more  TNN 1998»
15 years 4 months ago
Noise suppressing sensor encoding and neural signal orthonormalization
In this paper we regard first the situation where parallel channels are disturbed by noise. With the goal of maximal information conservation we deduce the conditions for a transf...
Rüdiger W. Brause, M. Rippl