Sciweavers

1785 search results - page 224 / 357
» Framework of Agile Patterns
Sort
View
WSC
2008
15 years 6 months ago
Conceptual simulation modeling: The structure of domain specific simulation environment
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
Kitti Setavoraphan, Floyd H. Grant
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 6 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
FOSSACS
2008
Springer
15 years 5 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
AAAI
2010
15 years 5 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
BIS
2008
133views Business» more  BIS 2008»
15 years 5 months ago
Deep Web Navigation by Example
Large portions of the Web are buried behind user-oriented interfaces, which can only be accessed by filling out forms. To make the therein contained information accessible to autom...
Yang Wang 0012, Thomas Hornung