Sciweavers

2518 search results - page 114 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
CHI
2007
ACM
16 years 6 months ago
Appropriation of a MMS-based comic creator: from system functionalities to resources for action
Technologies can be used ? or appropriated ? in different ways by different users, but how do the use patterns evolve, and how can design facilitate such evolution? This paper app...
Antti Salovaara
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 10 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
APLAS
2004
ACM
15 years 11 months ago
Protocol Specialization
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
Matthias Neubauer, Peter Thiemann
VIZSEC
2004
Springer
15 years 11 months ago
PortVis: a tool for port-based detection of security events
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
Jonathan McPherson, Kwan-Liu Ma, Paul Krystosk, To...
ICC
2007
IEEE
121views Communications» more  ICC 2007»
16 years 17 days ago
Eigen-Analysis of UWB Channel on the Basis of Information Theoretic Criteria
— Underground mine galleries can be considered as complex transmission lines where multipath, attenuation, reflection, diffraction and scattering effects are dominants. However, ...
Abdellah Chehri, Paul Fortier, Pierre-Martin Tardi...