Sciweavers

3073 search results - page 211 / 615
» Real World Verification
Sort
View
140
Voted
WSC
2007
15 years 7 months ago
A simulation course for high school students
Computer simulation presents a variety of opportunities for high school students to receive exposure to mathematics and engineering in the real world. We describe in a highlevel w...
David Goldsman
FC
2008
Springer
94views Cryptology» more  FC 2008»
15 years 6 months ago
Fair Traceable Multi-Group Signatures
This paper presents fair traceable multi-group signatures (FTMGS), which have enhanced capabilities, compared to group and traceable signatures, that are important in real world sc...
Vicente Benjumea, Seung Geol Choi, Javier Lopez, M...
123
Voted
COMAD
2008
15 years 6 months ago
On Inferring K Optimum Transformations of XML Document from Update Script to DTD
DTDs are continuously updated according to changes of the real world. Let t be an XML document valid against a DTD D, and suppose that D is updated by an update script s. In gener...
Nobutaka Suzuki
ZEUS
2010
200views Communications» more  ZEUS 2010»
15 years 6 months ago
On designing a people-oriented constraint-based workflow language
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...
Frank Leymann, Tobias Unger, Sebastian Wagner
LREC
2008
85views Education» more  LREC 2008»
15 years 6 months ago
A Method for Automatically Constructing Case Frames for English
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
Daisuke Kawahara, Kiyotaka Uchimoto