388 search results - page 62 / 78 » The SDA Model: A Set Theory Approach |
SAC
2010
ACM
14 years 3 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
IJCBDD
2010
13 years 7 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
3DIM
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
ATAL
2004
Springer
14 years 11 days ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...