942 search results - page 115 / 189 » Process Algebraic Non-product-forms |
CDC
2008
IEEE
14 years 6 hour ago
2008
IEEE
This paper presents a robust stop-and-go control law, especially well adapted to car following scenarios in urban environments. Since many vehicle/road interaction factors (road sl...
AICT
2007
IEEE
2007
IEEE
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
13 years 11 months ago
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
FORTE
2007
13 years 11 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
DS
2001
13 years 11 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
SAM
2004
13 years 11 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...