249 search results - page 19 / 50 » Validating Architectural Feature Descriptions using LOTOS |
110
click to vote
CDES
2006
15 years 1 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...
113
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
IPPS
1994
IEEE
15 years 3 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...
133
click to vote
CAD
2010
Springer
14 years 11 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
118
click to vote
ADMI
2009
Springer
15 years 6 months ago
2009
Springer
An extendable and generic Agent Enriched Data Mining (AEDM) framework, EMADS (the Extendable Multi-Agent Data mining System) is described. The central feature of the framework is ...