Sciweavers

2154 search results - page 98 / 431
» On the notion of concept I
Sort
View
ECIS
2001
14 years 11 months ago
Computers in the Home: Domestic Technology and the Process of Domestication
Home computers are often considered as `domestic technology' or part of the `domestic media ensemble' as if those were simple and straightforward concepts. In this paper...
Laurence Habib, Tony Cornford
NETWORKING
2004
14 years 11 months ago
Performance of Wireless Ad Hoc Networks under Balanced Fairness
Balanced fairness is a new resource sharing concept recently introduced by Bonald and Prouti`ere. We extend the use of this notion to wireless networks where the link capacities at...
Aleksi Penttinen, Jorma T. Virtamo
FMOODS
2003
14 years 11 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
IJISEC
2006
88views more  IJISEC 2006»
14 years 10 months ago
Requirements engineering for trust management: model, methodology, and reasoning
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...
ADT
2005
14 years 9 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm