Sciweavers

29147 search results - page 64 / 5830
» System Modeling Resurrected
Sort
View
COR
2008
131views more  COR 2008»
14 years 8 months ago
Queueing analysis of a server node in transaction processing middleware systems
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
Wei Xiong, Tayfur Altiok
VTC
2010
IEEE
149views Communications» more  VTC 2010»
14 years 8 months ago
On the Impact of Human Driver Behavior on Intelligent Transportation Systems
—We investigate the impact of the human driver behavior on Intelligent Transportation Systems (ITS). Motivated by early studies, which investigated the driver behavior and which ...
Falko Dressler, Christoph Sommer
COLING
2010
14 years 5 months ago
A Large Scale Ranker-Based System for Search Query Spelling Correction
This paper makes three significant extensions to a noisy channel speller designed for standard written text to target the challenging domain of search queries. First, the noisy ch...
Jianfeng Gao, Xiaolong Li, Daniel Micol, Chris Qui...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 7 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
14 years 8 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer