156 search results - page 19 / 32 » The GOQL Language and its Formal Specifications |
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
96
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
CSSE
2004
IEEE
14 years 11 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
RML
2002
14 years 11 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...