Sciweavers

5664 search results - page 175 / 1133
» Creativity support tools
Sort
View
134
Voted
TACAS
2009
Springer
207views Algorithms» more  TACAS 2009»
15 years 10 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...
159
Voted
HAPTICS
2009
IEEE
15 years 10 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
131
Voted
SPIN
2009
Springer
15 years 10 months 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
130
Voted
CSMR
2008
IEEE
15 years 10 months 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
121
Voted
ICSEA
2007
IEEE
15 years 10 months 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...