1036 search results - page 139 / 208 » A Functional Semantic Web Architecture |
DAC
1989
ACM
14 years 1 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
JWSR
2006
13 years 10 months ago
2006
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
ICWS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we present the concept of ActivityCentric Collaboration Using Service-Oriented Architectures (ACCUSO), which addresses the requirements arising from ad-hoc collabora...
ECOWS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...