Sciweavers

6800 search results - page 742 / 1360
» Testing with Functions as Specifications
Sort
View
FOAL
2008
ACM
15 years 8 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ISSA
2008
15 years 8 months ago
The Information Security of a Bluetooth-Enabled Handheld Device
Bluetooth connectivity allows workers to access information anywhere, including both personal and corporate information. Software and applications have been specifically developed...
Frankie Tvrz, Marijke Coetzee
LREC
2008
84views Education» more  LREC 2008»
15 years 8 months ago
A Hybrid Approach to Extracting and Classifying Verb+Noun Constructions
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
Amalia Todirascu, Dan Tufis, Ulrich Heid, Christop...
NETWORKING
2008
15 years 8 months ago
Evolutionary Power Control Games in Wireless Networks
In this paper, we apply evolutionary games to non-cooperative power control in wireless networks. Specifically, we focus our study in a power control in W-CDMA and WIMAX wireless s...
Eitan Altman, Rachid El Azouzi, Yezekael Hayel, Ha...
NIPS
2008
15 years 8 months ago
Measures of Clustering Quality: A Working Set of Axioms for Clustering
Aiming towards the development of a general clustering theory, we discuss abstract axiomatization for clustering. In this respect, we follow up on the work of Kleinberg, ([1]) tha...
Shai Ben-David, Margareta Ackerman