2963 search results - page 356 / 593 » On the Integration of Web Modeling Languages |
217
click to vote
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
163
click to vote
FAC
2006
15 years 6 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
179
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
180
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
158
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...