249 search results - page 23 / 50 » Validating Architectural Feature Descriptions using LOTOS |
128
click to vote
TOSEM
2002
15 years 1 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
CLOUDCOM
2009
Springer
15 years 8 months ago
2009
Springer
We describe a privacy manager for cloud computing, which reduces the risk to the cloud computing user of their private data being stolen or misused, and also assists the cloud comp...
122
click to vote
IVA
2001
Springer
15 years 5 months ago
2001
Springer
The InViWo project aims at providing high-level intuitive tools to describe virtual worlds populated with “intelligent” creatures and avatars. For this purpose, we have define...
122
click to vote
MIDDLEWARE
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...
117
click to vote
PARA
2004
Springer
15 years 6 months ago
2004
Springer
GRID Application development is a hard task. Good applications should correctly use large distributed systems, whose infrastructure heavily affects the application performance. In ...