Sciweavers

7117 search results - page 81 / 1424
» IT Governance Frameworks as Methods
Sort
View
CSFW
2009
IEEE
15 years 8 months ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker
ISICT
2003
15 years 5 months ago
Inducing a cline from corpora of political manifestos
Techniques from corpus linguistics are applied to the analysis of a number of European right-wing parties in an effort to extend methods for ranking parties on a left-right spectr...
Sofie Van Gijsel, Carl Vogel
WSCG
2004
142views more  WSCG 2004»
15 years 5 months ago
Metropolis Iteration for Global Illumination
This paper presents a stochastic iteration algorithm solving the global illumination problem, where the random sampling is governed by classical importance sampling and also by th...
László Szirmay-Kalos, Bálazs ...
BC
2008
67views more  BC 2008»
15 years 4 months ago
Information transmission in oscillatory neural activity
Periodic neural activity not locked to the stimulus or to motor responses is usually ignored. Here, we present newtoolsformodelingandquantifyingtheinformationtransmission based on ...
Kilian Koepsell, Friedrich T. Sommer
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 2 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen