337 search results - page 9 / 68 » Semantic Integration through Invariants |
156
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
136
click to vote
ESWS
2007
Springer
16 years 12 hour ago
2007
Springer
Semantic Web Services (SWS) hold a lot of potential to the future of the Semantic Web. In this area, a number of tools have been developed to facilitate their definition and deploy...
150
click to vote
ICDCSW
2006
IEEE
15 years 12 months ago
2006
IEEE
With the development and maturity of ServiceOriented Architectures (SOA) to support business-tobusiness transactions, organizations are implementing Web services to expose their p...
176
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
200
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...