229 search results - page 22 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
163
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
131
click to vote
EMNLP
2008
15 years 5 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
125
Voted
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
154
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
120
Voted
ECTEL
2008
Springer
15 years 5 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...