Sciweavers

1407 search results - page 103 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
STTT
2010
115views more  STTT 2010»
15 years 4 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
DGO
2009
118views Education» more  DGO 2009»
15 years 7 months ago
Towards collaborative web-based impact assessment
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from m...
Clemens Heidinger, Erik Buchmann, Klemens Böh...
IJSN
2008
147views more  IJSN 2008»
15 years 6 months ago
Formal modelling and analysis of XML firewall for service-oriented systems
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
Haiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 11 months ago
Multi-Granularity Metrics for the Era of Strongly Personalized SOCs
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
Yannick Le Moullec, Nahla Ben Amor, Jean-Philippe ...
INTERACT
2003
15 years 7 months ago
Chemistry Education: A Tangible Interaction Approach
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
Morten Fjeld, Patrick Juchli, Benedikt M. Voegtli