2492 search results - page 382 / 499 » An Integrated Rule Modeling Framework |
174
click to vote
AINA
2003
IEEE
15 years 9 months ago
2003
IEEE
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...
164
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
152
click to vote
AMW
2010
15 years 7 months ago
2010
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
189
click to vote
IRCDL
2008
15 years 7 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
170
click to vote
INTERACT
2003
15 years 7 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...