4036 search results - page 678 / 808 » Formal Methods |
183
click to vote
CAISE
2001
Springer
15 years 11 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
160
click to vote
AAAI
2006
15 years 7 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
150
click to vote
HYBRID
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
156
click to vote
OTM
2005
Springer
15 years 12 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...
199
click to vote
APSCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...