Sciweavers

4985 search results - page 252 / 997
» Observation of String-Rewriting Systems
Sort
View
TRUSTBUS
2005
Springer
15 years 10 months ago
A Multilateral Secure Payment System for Wireless LAN Hotspots
Beginning with the adoption of the de-facto standard for wireless LAN communications IEEE 802.11 in 1999 we can observe a continuous growth of public wireless LAN hotspots that pro...
Stephan Groß, Sabine Lein, Sandra Steinbrech...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 10 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
CW
2003
IEEE
15 years 9 months ago
Development of a recommendation system with multiple subjective evaluation process models
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...
Emi Yano, Emi Sueyoshi, Isao Shinohara, Toshikazu ...
WORDS
2003
IEEE
15 years 9 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
CIARP
2003
Springer
15 years 9 months ago
Integrating High and Low Smoothed LMs in a CSR System
In Continuous Speech Recognition (CSR) systems, acoustic and Language Models (LM) must be integrated. To get optimum CSR performances, it is well-known that heuristic factors must ...
Amparo Varona, Inés Torres