4211 search results - page 337 / 843 » A formal approach to MASQ |
158
click to vote
SAS
2007
Springer
16 years 28 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
175
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
223
click to vote
VLDB
2007
ACM
16 years 28 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
155
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
187
click to vote
HICSS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...