Sciweavers

7475 search results - page 1188 / 1495
» Supporting use case based requirements engineering
Sort
View
SIGCOMM
2009
ACM
16 years 2 months ago
In defense of wireless carrier sense
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
Micah Z. Brodsky, Robert T. Morris
165
Voted
HICSS
2008
IEEE
91views Biometrics» more  HICSS 2008»
16 years 1 months ago
Governance Structures in Cross-Boundary Information Sharing: Lessons from State and Local Criminal Justice Initiatives
Governments are increasingly using collaborative, cross-boundary strategies to face complex social problems. Many of these cross-boundary initiatives have at their core the use, a...
Theresa A. Pardo, José Ramón Gil-Gar...
161
Voted
TOOLS
2008
IEEE
16 years 1 months ago
The Meta in Meta-object Architectures
Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective f...
Marcus Denker, Mathieu Suen, Stéphane Ducas...
198
Voted
BTW
2007
Springer
166views Database» more  BTW 2007»
16 years 1 months ago
Hierarchy-driven Visual Exploration of Multidimensional Data Cubes
: Analysts interact with OLAP data in a predominantly “drill-down” fashion, i.e. gradually descending from a coarsely grained overview towards the desired level of detail. Anal...
Svetlana Mansmann, Florian Mansmann, Marc H. Schol...
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
16 years 1 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
« Prev « First page 1188 / 1495 Last » Next »