373 search results - page 14 / 75 » Model Checking Techniques applied to the design of Web Servi... |
ACISICIS
2008
IEEE
15 years 4 months ago
2008
IEEE
The web services technology provides an approach for developing distributed applications by using simple and well defined interfaces. Due to the flexibility of this architecture, ...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
We present XML schemas and our design for related data services for describing faults and surface displacements, which we use within earthquake modeling codes. These data services ...
HCSE
2010
14 years 7 months ago
2010
While multimodal interfaces are becoming more and more used and supported, their development is still difficult and there is a lack of authoring tools for this purpose. The goal of...
ISVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
SC
2009
ACM
15 years 4 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...