337 search results - page 9 / 68 » Semantic Integration through Invariants |
TLDI
2009
ACM
14 years 7 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 ...
ESWS
2007
Springer
14 years 5 months 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...
ICDCSW
2006
IEEE
14 years 5 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...
UML
2000
Springer
14 years 2 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...
SEMWEB
2009
Springer
14 years 3 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 ...