Sciweavers

1746 search results - page 160 / 350
» Residual for Component Specifications
Sort
View
HICSS
1997
IEEE
109views Biometrics» more  HICSS 1997»
15 years 8 months ago
Model-Integrated Programming
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
Hubertus Franke, Janos Sztipanovits, Gabor Karsai
MA
1998
Springer
167views Communications» more  MA 1998»
15 years 8 months ago
Reactive Tuple Spaces for Mobile Agent Coordination
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
DAC
1994
ACM
15 years 8 months ago
Optimizing Resource Utilization and Testability Using Hot Potato Techniques
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
Miodrag Potkonjak, Sujit Dey
ATAL
2006
Springer
15 years 8 months ago
Agent dependability as an architectural issue
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
Peter C. Lockemann, Jens Nimis
CEAS
2006
Springer
15 years 8 months ago
An Adaptive, Semi-Structured Language Model Approach to Spam Filtering on a New Corpus
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
Ben Medlock