5599 search results - page 84 / 1120 » Abstract State Services |
119
click to vote
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
123
click to vote
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
133
click to vote
GECCO
2010
Springer
15 years 1 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
ECSA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Services Oriented Architectures preach loosely-coupled services and high
101
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...