Sciweavers

3914 search results - page 389 / 783
» A Pattern Approach to Interaction Design
Sort
View
CHI
1999
ACM
15 years 11 months ago
MOBILE: User-Centered Interface Building
Interface builders are popular tools for designing and developing graphical user interfaces. These tools, however, are engineering-centered; they operate mainly on windows and wid...
Angel R. Puerta, Eric Cheng, Tunhow Ou, Justin Min
ACMACE
2006
ACM
16 years 22 days ago
Projecting tension in virtual environments through lighting
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
Magy Seif El-Nasr
DAC
2001
ACM
16 years 7 months ago
An Algorithm for Bi-Decomposition of Logic Functions
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
Alan Mishchenko, Bernd Steinbach, Marek A. Perkows...
ATAL
2004
Springer
16 years 4 days ago
Analyzing Stigmergic Learning for Self-Organizing Mobile Ad-Hoc Networks (MANET's)
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
H. Van Dyke Parunak, Sven Brueckner
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 8 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore