Sciweavers

6581 search results - page 202 / 1317
» Formalizing Design Patterns
Sort
View
139
Voted
EMSOFT
2005
Springer
15 years 9 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
123
Voted
SEKE
2005
Springer
15 years 9 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark...
155
Voted
FMCAD
2007
Springer
15 years 7 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
127
Voted
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
15 years 7 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
137
Voted
MIE
2008
174views Healthcare» more  MIE 2008»
15 years 5 months ago
Semantic Web Ontology Utilization for Heart Failure Expert System Design
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
Marin Prcela, Dragan Gamberger, Alan Jovic