249 search results - page 36 / 50 » Validating Architectural Feature Descriptions using LOTOS |
115
click to vote
SOCO
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Post-silicon validation has recently drawn designers' attention due to its increasing impacts on the VLSI design cycle and cost. One key feature of the post-silicon validatio...
142
click to vote
SSDBM
2000
IEEE
15 years 5 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
107
click to vote
AINA
2004
IEEE
15 years 5 months ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
209
click to vote
AVI
2000
15 years 2 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...