Sciweavers

5664 search results - page 175 / 1133
» Creativity support tools
Sort
View
TACAS
2009
Springer
207views Algorithms» more  TACAS 2009»
16 years 1 months ago
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yin...
HAPTICS
2009
IEEE
16 years 1 months ago
Graphical authoring tools for vibrotactile patterns
This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...
Jaebong Lee, Jonghyun Ryu, Seungmoon Choi
SPIN
2009
Springer
16 years 29 days ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
CSMR
2008
IEEE
16 years 27 days ago
A Tool for Optimizing the Build Performance of Large Software Code Bases
We present Build Analyzer, a tool that helps developers optimize the build performance of huge systems written in C. Due to complex C header dependencies, even small code changes ...
Alexandru Telea, Lucian Voinea
ICSEA
2007
IEEE
16 years 19 days ago
Design and Development Tools for Next Generation Mobile Services
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
Giovanni Bartolomeo, Casalicchio Casalicchio, Stef...