285 search results - page 45 / 57 » Towards a Compositional Approach to the Design and Verificat... |
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
TEC
2002
13 years 8 months ago
2002
With increased global interconnectivity, reliance on e-commerce, network services, and Internet communication, computer security has become a necessity. Organizations must protect ...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
FMICS
2009
Springer
14 years 3 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...