480 search results - page 7 / 96 » Scenarios and Techniques for Choreography Design |
MTA
2010
13 years 6 months ago
2010
In the current Web scenario a video browsing tool that produces on-the-fly storyboards is more and more a need. Video summary techniques can be helpful but, due to their long proc...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
RE
2001
Springer
13 years 12 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...