Sciweavers

2556 search results - page 262 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ICWN
2004
15 years 8 months ago
An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks
Abstract-- In the proxy approach to Service Oriented Computing, a service advertises a proxy, which is searched for, retrieved and used by interested clients as a local handle to t...
Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia...
IWFM
2000
167views Formal Methods» more  IWFM 2000»
15 years 8 months ago
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
Claus Pahl
JSW
2007
107views more  JSW 2007»
15 years 7 months ago
Reducing Domain Level Scenarios to Test Component-based Software
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
Oliver Skroch, Klaus Turowski
UAIS
2002
100views more  UAIS 2002»
15 years 6 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
IPCV
2010
15 years 5 months ago
Fuzzy Spatial Relations for 2D Scene
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...
Nadeem Salamat, El-hadi Zahzah