1525 search results - page 164 / 305 » Formal Models for Communication-Based Design |
123
Voted
CRITIS
2007
15 years 4 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
136
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
132
Voted
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
122
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
118
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...