2106 search results - page 337 / 422 » Operational Semantics for DyLPs |
178
click to vote
CONCUR
2009
Springer
16 years 26 days ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
166
click to vote
HASE
2008
IEEE
16 years 23 days ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
137
click to vote
ICPR
2008
IEEE
16 years 22 days ago
2008
IEEE
There are two substantial open issues in the field of the image retrieval: semantic gap between computationally extracted low-level features and human operated high-level concepts...
174
click to vote
SOSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
181
click to vote
SOSE
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...