3828 search results - page 135 / 766 » Proof-Based System Engineering Using a Virtual System Model |
168
click to vote
RE
2004
Springer
15 years 10 months ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...
136
click to vote
SRDS
1996
IEEE
15 years 9 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
117
click to vote
TASLP
2010
15 years 3 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
142
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
168
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...