Sciweavers

4963 search results - page 794 / 993
» Implementing a Categorical Information System
Sort
View
TSMC
2008
168views more  TSMC 2008»
15 years 6 months ago
Wise-ShopFloor: An Integrated Approach for Web-Based Collaborative Manufacturing
This paper presents an integrated approach for Web-based collaborative manufacturing, including distributed process planning, dynamic scheduling, real-time monitoring, and remote c...
Lihui Wang
DLS
2009
196views Languages» more  DLS 2009»
15 years 5 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
HCI
2009
15 years 5 months ago
Social Adaptation of ERP Software: Tagging UI Elements
Abstract. In this paper we present a newly designed annotation and collaboration component, which has been prototypically implemented on top of an ERP (Enterprise Resource Planning...
Marcus Nitsche, Martin Christof Kindsmüller, ...
IJMHCI
2010
126views more  IJMHCI 2010»
15 years 4 months ago
Cocktail: Exploiting Bartenders' Gestures for Mobile Interaction
Recent mobile devices are capable of creating and storing a large amount of multimedia data, but sharing those data with others is still challenging. This paper presents Cocktail,...
Jong-Woon Yoo, Woomin Hwang, Hyunchul Seok, Sung K...
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 2 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica