Sciweavers

646 search results - page 51 / 130
» A Spatially Dependent Communication Model for Ubiquitous Sys...
Sort
View
AUTONOMICS
2008
ACM
13 years 10 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer
ATAL
2006
Springer
13 years 12 months ago
Modelling the links between social commitments and individual intentions
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Philippe Pasquier, Brahim Chaib-draa
EURODAC
1994
IEEE
130views VHDL» more  EURODAC 1994»
14 years 10 days ago
Modeling shared variables in VHDL
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...
Jan Madsen, Jens P. Brage
PTS
2007
112views Hardware» more  PTS 2007»
13 years 9 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
GRAPHITE
2004
ACM
14 years 1 months ago
Handheld devices for applications using dynamic multimedia data
Growing demand for ubiquitous and pervasive computing has triggered a sharp rise in handheld device usage. At the same time, dynamic multimedia data has become accepted as core ma...
Binh Pham, On Wong