1988 search results - page 251 / 398 » Engineering formal metatheory |
180
click to vote
MATES
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
181
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
145
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
142
click to vote
PRDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
143
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
Electricity restructuring is a complex, never-ending process that has engineering, economic, social, commercial, legal and policy dimensions and takes place within a broad societa...