Sciweavers

2328 search results - page 229 / 466
» Component Frameworks - A Case Study
Sort
View
CEC
2007
IEEE
16 years 27 days ago
Design and construction of organic computing systems
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
Hella Seebach, Frank Ortmeier, Wolfgang Reif
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
16 years 27 days ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
GLOBECOM
2007
IEEE
16 years 27 days ago
Inter-Area Shared Segment Protection of MPLS Flows Over Agile All-Photonic Star Networks
—We study the resilience of MPLS flows over an agile all-photonic star WDM network (AAPN). On the basis of our previous inter-area optimal routing architecture, we propose and de...
Peng He, Gregor von Bochmann
QSIC
2007
IEEE
16 years 25 days ago
On the Collaborative Development of Para-Consistent Conceptual Models
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
Ebrahim Bagheri, Ali A. Ghorbani
CIA
2007
Springer
16 years 22 days ago
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytr...