Sciweavers

7921 search results - page 1209 / 1585
» Process Modeling in Web Applications
Sort
View
FORTE
2004
15 years 2 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
108
Voted
WSCG
2003
140views more  WSCG 2003»
15 years 2 months ago
Interactive Rendering Technique for Realistic Oriental Painting
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...
Young-Jung Yu, Do-Hoon Lee, Young Bok Lee, Hwan-Gu...
WSC
1997
15 years 2 months ago
System Concept Development with Virtual Prototyping
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
James C. Schaaf Jr., Faye Lynn Thompson
DGO
2009
89views Education» more  DGO 2009»
15 years 1 months ago
Top-level decisions through public deliberation on the internet: evidence from the evolution of Java governance
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
Michael Kaschesky, Reinhard Riedl
115
Voted
TON
2008
74views more  TON 2008»
15 years 22 days ago
Race conditions in coexisting overlay networks
By allowing end hosts to make independent routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes...
Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluc...
« Prev « First page 1209 / 1585 Last » Next »