291 search results - page 51 / 59 » A Domain Engineering Approach to Specifying and Applying Ref... |
111
click to vote
STEP
2005
IEEE
15 years 7 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
108
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
117
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
We address the life cycle of semantic web based knowledge management from ontology modelling to instance generation and reuse. We illustrate through a semantic web based knowledge ...
122
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
133
Voted
APSCC
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...