4737 search results - page 527 / 948 » The LOGIC negotiation model |
311
click to vote
IHI
2012
14 years 3 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
194
Voted
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
206
Voted
TASE
2009
IEEE
16 years 2 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
196
Voted
IROS
2007
IEEE
16 years 2 months ago
2007
IEEE
—The objective of self-healing in mobile robot networks is to maintain not only logical topology but also physical one of a network when robots fail. An interaction dynamics mode...
220
Voted
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...