249 search results - page 35 / 50 » Validating Architectural Feature Descriptions using LOTOS |
106
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
105
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
MM
2006
ACM
15 years 7 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
105
click to vote
POLICY
2005
Springer
15 years 6 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
128
click to vote
HCI
2009
14 years 11 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...