3045 search results - page 512 / 609 » Formal Approaches to Software Architecture |
216
click to vote
IEEESCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
193
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
215
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
179
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...