Sciweavers

2035 search results - page 326 / 407
» Communicating Scala Objects
Sort
View
127
Voted
AINA
2003
IEEE
15 years 4 months 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
91
Voted
ECWEB
2000
Springer
128views ECommerce» more  ECWEB 2000»
15 years 4 months 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...
110
Voted
KES
2000
Springer
15 years 4 months 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,...
139
Voted
GROUP
1991
ACM
15 years 4 months 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
99
Voted
PARLE
1991
15 years 4 months 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