Sciweavers

7785 search results - page 110 / 1557
» The Concept of Dynamic Analysis
Sort
View
CHI
2005
ACM
16 years 4 months ago
Patterns of media use in an activity-centric collaborative environment
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
David R. Millen, Michael J. Muller, Werner Geyer, ...
COMPSAC
2009
IEEE
15 years 11 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
MMB
1999
Springer
249views Communications» more  MMB 1999»
15 years 8 months ago
A Development Platform for the Design and Optimization of Mobile Radio Networks
The rapidly increasing traffic demand from mobile users forces network operators and service providers to extend and optimize existing networks as well as to plan entirely new mo...
Jürgen Deissner, Gerhard Fettweis, Jörg ...
RSFDGRC
1999
Springer
135views Data Mining» more  RSFDGRC 1999»
15 years 8 months ago
The Iterated Version Space Learning
Inspired with Version Space learning, the Iterated Version Space Algorithm (IVSA) has been designed and implemented to learn disjunctive concepts. IVSA dynamically partitions its s...
Jianna Jian Zhang, Nick Cercone
DALT
2008
Springer
15 years 5 months ago
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
Jan Broersen