Sciweavers

4211 search results - page 35 / 843

» A formal approach to MASQ

25

VRML
2006
ACM

101views Internet Technology» more VRML 2006»

An approach to Petri net based formal modeling of user interactions from X3D content

14 years 4 months ago

An approach to Petri net based formal modeling of user interactions from X3D content

Download www.web3d.org

Jianghui Ying

claim paper

Read More »

28

APN
2005
Springer

104views Artificial Intelligence» more APN 2005»

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

14 years 4 months ago

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

Download is.tm.tue.nl

Moe Thandar Wynn, David Edmond, Wil M. P. van der ...

claim paper

Read More »

22

BIRTHDAY
2005
Springer

89views Applied Computing» more BIRTHDAY 2005»

Formal Approaches to Teamwork

14 years 4 months ago

Formal Approaches to Teamwork

Download www.cs.umd.edu

John Grant, Sarit Kraus, Donald Perlis

claim paper

Read More »

19

BPM
2005
Springer

75views Business» more BPM 2005»

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

14 years 4 months ago

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

Download bpm2005.loria.fr

Jiacun Wang, Daniela Rosca, William M. Tepfenhart,...

claim paper

Read More »

40

NOSSDAV
2005
Springer

132views Computer Networks» more NOSSDAV 2005»

A formal approach to design optimized multimedia service overlay

14 years 4 months ago

A formal approach to design optimized multimedia service overlay

Download www-higashi.ist.osaka-u.ac.jp

Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...

Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...

claim paper

Read More »

« Prev « First page 35 / 843 Last » Next »