Sciweavers

2027 search results - page 332 / 406
» Process Support for Tools Interoperability
Sort
View
TKDE
2008
177views more  TKDE 2008»
14 years 9 months ago
Analyzing and Managing Role-Based Access Control Policies
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, M...
MODELS
2010
Springer
14 years 8 months ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende
ICASSP
2011
IEEE
14 years 1 months ago
SVM feature selection for multidimensional EEG data
In many machine learning applications, like Brain - Computer Interfaces (BCI), only high-dimensional noisy data are available rendering the discrimination task non-trivial. In thi...
Nisrine Jrad, Ronald Phlypo, Marco Congedo
CLIMA
2011
13 years 9 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
BSDCON
2003
14 years 11 months ago
ULE: A Modern Scheduler for FreeBSD
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
Jeff Roberson