1950 search results - page 210 / 390 » Lambda-Free Logical Frameworks |
192
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this work, we present a framework for the semantic composition of web services based on Statecharts and uniform community service descriptions. Our model is a two step process....
169
click to vote
ISTA
2008
15 years 8 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
216
click to vote
DMDW
2000
15 years 8 months ago
2000
Data warehousing is a software infrastructure which supports OLAP applications by providing a collection of tools which allow data extraction and cleaning, data integration and ag...
166
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
193
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...