Sciweavers

75 search results - page 8 / 15
» Toward Accessibility Enhancement of Dependability Modeling T...
Sort
View
PIMRC
2010
IEEE
15 years 3 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
16 years 6 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
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 10 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 10 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
16 years 15 days 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,...