3792 search results - page 608 / 759 » Techniques for Trusted Software Engineering |
187
click to vote
PVLDB
2010
15 years 5 months ago
2010
With the emergence of new applications, e.g., computational biology, new software engineering techniques, social networks, etc., more data is in the form of graphs. Locating occur...
221
click to vote
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Modularization is almost the only feasible way of implementing large-scale applications. For user interfaces, interactions involving more than one module generate dependencies bet...
151
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
183
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
157
click to vote
COGSR
2010
15 years 1 months ago
2010
Computational concepts of cognition, their implementation in complex autonomous systems, and their empirical evaluation are key techniques to understand and validate concepts of c...