308 search results - page 48 / 62 » Dynamic adaptation of software component structures |
113
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
206
click to vote
POPL
2004
ACM
16 years 21 days ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
79
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
—This paper presents a molecular mechanics study using a molecular dynamics software (NAMD) for characterization of molecular elastic joints for bio nanorobotic prototyping. Simp...
100
Voted
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Cooperative frameworks for intrusion detection and response exemplify a key area of today’s computer research: automating defenses against malicious attacks that increasingly ar...
133
click to vote
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...