14709 search results - page 318 / 2942 » Semantic feature modelling |
179
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWL-S, model the semanti...
181
click to vote
ECEASST
2006
15 years 6 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
223
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
198
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a model-driven translation approach between Semantic Web Service based business process models in the context of the SUPER project. In SUPER we provide a set of bus...
172
click to vote
FORMATS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...