287 search results - page 7 / 58 » A Lightweight Formal Framework for Service-Oriented Applicat... |
179
Voted
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
-- Cyberinfrastructure makes the development and deployment of bioinformatics applications easier by providing the framework and components that may be loosely coupled using servic...
213
Voted
ATC
2007
Springer
16 years 10 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
180
Voted
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...
168
Voted
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
182
Voted
WETICE
2005
IEEE
15 years 11 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...