373 search results - page 11 / 75 » Model Checking Techniques applied to the design of Web Servi... |
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
APSEC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
156
Voted
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
87
Voted
TCAD
2008
14 years 9 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
C3S2E
2009
ACM
15 years 4 months ago
2009
ACM
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...