597 search results - page 118 / 120 » Formal Techniques for Java-Like Programs |
ICAIL
2003
ACM
14 years 22 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
FMCO
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
PODS
2010
ACM
14 years 16 days ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
OOPSLA
2009
Springer
14 years 21 hour ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...