Sciweavers

7720 search results - page 8 / 1544
» A Model for Interface Groups
Sort
View
CONCUR
2009
Springer
14 years 2 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
MODELS
2007
Springer
14 years 1 months ago
Useware Modeling for Ambient Intelligent Production Environments
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
Daniel Görlich, Kai Breiner
INTERFACES
2010
232views more  INTERFACES 2010»
13 years 6 months ago
A Bayesian Model for Sales Forecasting at Sun Microsystems
Phillip M. Yelland, Shinji Kim, Renée Strat...
OTM
2010
Springer
13 years 6 months ago
An Interaction Meta-model for Cooperative Component-Based User Interfaces
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
Luis Iribarne, Nicolás Padilla, Javier Cria...
GROUP
1993
ACM
13 years 11 months ago
An interface for navigating clustered document sets returned by queries
Robert B. Allen, Pascal Obry, Michael L. Littman