Sciweavers

4856 search results - page 353 / 972
» Concept formation in design
Sort
View
AVI
2008
15 years 9 months ago
MedioVis: visual information seeking in digital libraries
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
Mathias Heilig, Mischa Demarmels, Werner A. Kö...
ACSW
2006
15 years 8 months ago
Formal analysis of secure contracting protocol for e-tendering
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond...
FUIN
2007
110views more  FUIN 2007»
15 years 6 months ago
Controllable Delay-Insensitive Processes
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
Mark B. Josephs, Hemangee K. Kapoor
TE
2010
110views more  TE 2010»
15 years 1 months ago
A Wireless Communications Systems Laboratory Course
A novel wireless communications systems laboratory course is introduced. The course teaches students how to design, test, and simulate wireless systems using modern instrumentation...
Sabih Güzelgöz, Hüseyin Arslan
NORDICHI
2004
ACM
16 years 5 days ago
Breaking affordance: culture as context
The concept of affordance as it applies to user interface design is widely used and accepted; possibly overused. This paper explores one of the constraints on affordance: culture....
Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cai...