733 search results - page 104 / 147 » Embedded Architecture Description Language |
148
click to vote
ADBIS
2006
Springer
15 years 5 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
109
click to vote
ICNP
2009
IEEE
15 years 8 months ago
2009
IEEE
—Routing protocols are implemented in the form of software running on a general-purpose microprocessor. However, conventional software-based router architectures face significan...
126
click to vote
MIDDLEWARE
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...
131
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....