Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» Design-Level Detection of Interactions in Aspect-UML Models ...

click to vote

JOT
2007

57views more JOT 2007»

Design-Level Detection of Interactions in Aspect-UML Models Using Alloy

13 years 10 months ago

Download www.jot.fm

Farida Mostefaoui, Julie Vachon

claim paper

Read More »

click to vote

FIW
2007

133views Communications» more FIW 2007»

Conflict Detection in Call Control Using First-Order Logic Model Checking

14 years 9 days ago

Download www.site.uottawa.ca

Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...

Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...

claim paper

Read More »

click to vote

DBSEC
2008

188views Database» more DBSEC 2008»

On the Formal Analysis of a Spatio-temporal Role-Based Access Control Model

14 years 9 days ago

Download www.cs.colostate.edu

With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...

Manachai Toahchoodee, Indrakshi Ray

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers