Sciweavers

1220 search results - page 189 / 244
» Diagnosing Design Problems in Object Oriented Systems
Sort
View
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 1 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
WOWMOM
2009
ACM
124views Multimedia» more  WOWMOM 2009»
15 years 6 months ago
VAPS: Positioning with spatial constraints
The proliferation of mobile computing devices and local wireless networks has promoted a growing interest in location-aware systems. The problem with existing positioning techniqu...
Yesid Jarma, Golnaz Karbaschi, Marcelo Dias de Amo...
LCPC
2007
Springer
15 years 6 months ago
Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster
Abstract. To solve problems that require far more memory than a single machine can supply, data can be swapped to disk in some manner, it can be compressed, and/or the memory of mu...
Ronald Veldema, Michael Philippsen
SIGIR
2008
ACM
14 years 11 months ago
Social tag prediction
In this paper, we look at the "social tag prediction" problem. Given a set of objects, and a set of tags applied to those objects by users, can we predict whether a give...
Paul Heymann, Daniel Ramage, Hector Garcia-Molina
WCNC
2010
IEEE
15 years 3 months ago
Optimality of Diagonalization of Multicarrier Multi-Hop Linear Non-Regenerative MIMO Relays
Abstract—In this paper, a multicarrier multi-hop multipleinput multiple-output (MIMO) relay system is investigated. A linear non-regenerative strategy is applied at each relay no...
Yue Rong, Yingbo Hua