Sciweavers

645 search results - page 36 / 129
» Performance Modeling and Analysis of Context-Aware Mobile So...
Sort
View
150
Voted
CD
2005
Springer
15 years 9 months ago
Modelling Deployment Using Feature Descriptions and State Models for Component-Based Software Product Families
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
Slinger Jansen, Sjaak Brinkkemper
132
Voted
DATE
2006
IEEE
157views Hardware» more  DATE 2006»
15 years 9 months ago
Modeling and simulation of mobile gateways interacting with wireless sensor networks
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
Franco Fummi, Davide Quaglia, Fabio Ricciato, Maur...
106
Voted
SEFM
2007
IEEE
15 years 10 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
135
Voted
CORR
2008
Springer
155views Education» more  CORR 2008»
15 years 3 months ago
Software dependability modeling using an industry-standard architecture description language
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, ...
139
Voted
IUI
2012
ACM
13 years 11 months ago
Airwriting: demonstrating mobile text input by 3D-space handwriting
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
Christoph Amma, Tanja Schultz