Sciweavers

4469 search results - page 73 / 894
» A Language for Role Specifications
Sort
View
144
Voted
ICWE
2005
Springer
15 years 9 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
CHIMIT
2008
ACM
15 years 6 months ago
Policy-based IT automation: the role of human judgment
Policy-based automation is emerging as a viable approach to IT systems management, codifying high-level business goals into executable specifications for governing IT operations. ...
Eser Kandogan, John H. Bailey, Paul P. Maglio, Ebe...
SIMVIS
2008
15 years 5 months ago
On the role of domain-specific knowledge in the visualization of technical flows
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
Christoph Garth, Xavier Tricoche, Alexander Wiebel...
BC
2002
88views more  BC 2002»
15 years 3 months ago
Beyond spike timing: the role of nonlinear plasticity and unreliable synapses
Spike-timing-dependent plasticity (STDP) strengthens synapses that are activated immediately before a postsynaptic spike, and weakens those that are activated after a spike. To pre...
Walter Senn
128
Voted
FSEN
2009
Springer
15 years 8 months ago
Executable Interface Specifications for Testing Asynchronous Creol Components
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. ...