Sciweavers

934 search results - page 91 / 187
» context 2003
Sort
View
ERCIMDL
2003
Springer
90views Education» more  ERCIMDL 2003»
14 years 3 months ago
Users and Uses of Online Digital Libraries in France
This article presents a study of online digital library (DL) uses, based on three data sources (online questionnaire, Internet traffic data and interviews). We show that DL users d...
Houssem Assadi, Thomas Beauvisage, Catherine Lupov...
ERSHOV
2003
Springer
14 years 3 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
ESAW
2003
Springer
14 years 3 months ago
Competent Agents and Customising Protocols
Abstract. In open agent societies, communication protocols and strategies cannot be assumed to always match perfectly, because they are typically specified by different designers...
Ulrich Endriss, Wenjin Lu, Nicolas Maudet, Kostas ...
ESAW
2003
Springer
14 years 3 months ago
A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
Anthony Karageorgos, Nikolay Mehandjiev
ESORICS
2003
Springer
14 years 3 months ago
Hardware Encapsulation of Security Services
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
Adrian Baldwin, Simon Shiu