Sciweavers

5343 search results - page 923 / 1069
» Keyword programming in java
Sort
View
149
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 6 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
134
Voted
ACMSE
2007
ACM
15 years 6 months ago
BehaviorSim: towards an educational tool for behavior-based agent
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
Pavel Lakhtanau, Xiaolin Hu, Fasheng Qiu
ACMSE
2007
ACM
15 years 6 months ago
Hierarchical land cover information retrieval in object-oriented remote sensing image databases with native queries
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
Jiang Li
155
Voted
AMOST
2007
ACM
15 years 6 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
110
Voted
AOSD
2007
ACM
15 years 6 months ago
ATOLL: aspect-oriented toll system
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
Luis Daniel Benavides Navarro, Christa Schwanninge...