373 search results - page 45 / 75 » Model Checking Techniques applied to the design of Web Servi... |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
ICPADS
2005
IEEE
15 years 3 months ago
2005
IEEE
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
ICSOC
2004
Springer
15 years 3 months ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
SAC
2009
ACM
15 years 2 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...