Sciweavers

75 search results - page 8 / 15
» Toward Accessibility Enhancement of Dependability Modeling T...
Sort
View
PIMRC
2010
IEEE
14 years 9 months ago
Analysis of 3GPP LTE-Advanced cell spectral efficiency
Multihop and multipoint transmissions are two of the main features towards an increased spectral efficiency for the LTE-Advanced mobile radio system. Fixed wireless relays with in-...
Daniel Bültmann, Torsten Andre, Rainer Schoen...
CHI
2002
ACM
15 years 12 months ago
Direct manipulation interface for architectural design tools
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
Dzmitry Aliakseyeu
92
Voted
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 4 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ITCC
2000
IEEE
15 years 4 months ago
Towards Knowledge Discovery from WWW Log Data
As the result of interactions between visitors and a web site, an http log file contains very rich knowledge about users on-site behaviors, which, if fully exploited, can better c...
Feng Tao, Fionn Murtagh
DSN
2008
IEEE
15 years 6 months ago
Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
Ludmila Cherkasova, Kivanc M. Ozonat, Ningfang Mi,...