Sciweavers

256 search results - page 11 / 52
» Practices, Systems, and Context Working as Core Concepts in ...
Sort
View
ATAL
2005
Springer
14 years 2 months ago
Agent-oriented context-aware platforms supporting communities of practice in health care
This paper presents and discusses the use of an agent-oriented context-aware platform to support communities of practice (CoPs) in the health care domain. Our work is based on a s...
Luiz Olavo Bonino da Silva Santos, Renata S. S. Gu...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
14 years 2 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
ERSHOV
2003
Springer
14 years 1 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...
CONTEXT
2007
Springer
14 years 2 months ago
Coping with Unconsidered Context of Formalized Knowledge
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
Stefan Mandl, Bernd Ludwig
ATAL
2006
Springer
14 years 12 days ago
Towards a reference model for agent-based systems
The current state of the art in agent technology sees that several implementations of agent frameworks exist. However, there is little agreement on the terms and concepts used to ...
Pragnesh Jay Modi, Spiros Mancoridis, William M. M...