Sciweavers

2661 search results - page 389 / 533
» A Semantics for Abstraction
Sort
View
63
Voted
CORR
2007
Springer
73views Education» more  CORR 2007»
14 years 10 months ago
The Earth System Grid: Supporting the Next Generation of Climate Modeling Research
d abstractions for high-performance remote data access, mechanisms for scalable data replication, cataloging with rich semantic and syntactic information, data discovery, distribut...
David E. Bernholdt, Shishir Bharathi, David Brown,...
72
Voted
JUCS
2008
138views more  JUCS 2008»
14 years 10 months ago
A Lightweight and Extensible AspectJ Implementation
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
Rodolfo Toledo, Éric Tanter
87
Voted
IEE
2007
126views more  IEE 2007»
14 years 10 months ago
Computer games software factory and edutainment platform for microsoft .NET
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
André Wilson Brotto Furtado, André L...
SOSYM
2008
90views more  SOSYM 2008»
14 years 10 months ago
A metamodeling language supporting subset and union properties
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
Marcus Alanen, Ivan Porres
76
Voted
STTT
2008
134views more  STTT 2008»
14 years 10 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan