Sciweavers

2826 search results - page 187 / 566
» A resource-based analysis of IT sourcing
Sort
View
ICDCS
2003
IEEE
15 years 7 months ago
Cross-Feature Analysis for Detecting Ad-Hoc Routing Anomalies
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
Yi-an Huang, Wei Fan, Wenke Lee, Philip S. Yu
KBSE
2003
IEEE
15 years 7 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 7 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
DATE
2010
IEEE
171views Hardware» more  DATE 2010»
15 years 7 months ago
Statistical static timing analysis using Markov chain Monte Carlo
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
Yashodhan Kanoria, Subhasish Mitra, Andrea Montana...
HAPTICS
2002
IEEE
15 years 6 months ago
An Analysis of Perceptual Instability during Haptic Texture Rendering
This paper investigates the problem of perceived instability during haptic texture rendering. We focus on the perceptual analysis of the stability of textured surfaces rendered wi...
Seungmoon Choi, Hong Z. Tan