2076 search results - page 77 / 416 » A Learner Model in a Distributed Environment |
152
click to vote
SEC
2007
15 years 5 months ago
2007
This paper presents the results related to the development of a flexible domain-based access control infrastructure for distributed Grid-based Collaborative Environments and Comple...
116
click to vote
EJWCN
2010
14 years 11 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
120
click to vote
SECURWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
164
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. PersonisAD, is a framework for building context-aware, ubiquitous applications: its defining foundation is a consistent mechanism for scrutable modelling of people, sens...
145
click to vote
SPRINGSIM
2007
15 years 5 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...