Sciweavers

2035 search results - page 326 / 407
» Communicating Scala Objects
Sort
View
AINA
2003
IEEE
14 years 13 days ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
ECWEB
2000
Springer
128views ECommerce» more  ECWEB 2000»
14 years 11 days ago
Dynamic-Agents, Workflow and XML for E-Commerce Automation
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
Qiming Chen, Umeshwar Dayal, Meichun Hsu, Martin L...
KES
2000
Springer
14 years 10 days ago
ActiveCube: a bi-directional user interface using cubes
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
Yoshifumi Kitamura, Yuichi Itoh, Toshihiro Masaki,...
GROUP
1991
ACM
14 years 8 days ago
Extending electronic mail with conceptual modeling to provide group decision support
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
Mildred L. G. Shaw, Brian R. Gaines
PARLE
1991
14 years 8 days ago
FORK: A High-Level Language for PRAMs
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
Torben Hagerup, Arno Schmitt, Helmut Seidl