Sciweavers

8959 search results - page 1785 / 1792
» Composing aspects with aspects
Sort
View
187
Voted
CORR
2012
Springer
204views Education» more  CORR 2012»
14 years 9 days ago
Ontologies for the Integration of Air Quality Models and 3D City Models
In the perspective of a sustainable urban planning, it is necessary to investigate cities in a holistic way and to accept surprises in the response of urban environments to a part...
Claudine Métral, Gilles Falquet, Kostas Kar...
166
Voted
HICSS
2012
IEEE
324views Biometrics» more  HICSS 2012»
14 years 8 days ago
Extending BPMN for Business Activity Monitoring
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
Jan-Philipp Friedenstab, Christian Janiesch, Marti...
221
Voted
IHI
2012
217views Healthcare» more  IHI 2012»
14 years 5 days ago
Declarative privacy policy: finite models and attribute-based encryption
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
Peifung E. Lam, John C. Mitchell, Andre Scedrov, S...
164
Voted
POPL
2012
ACM
14 years 5 days ago
Access permission contracts for scripting languages
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
Phillip Heidegger, Annette Bieniusa, Peter Thieman...
152
Voted
POPL
2012
ACM
14 years 5 days ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
« Prev « First page 1785 / 1792 Last » Next »