4737 search results - page 782 / 948 » The LOGIC negotiation model |
191
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
175
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
166
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
198
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
202
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Data mining is most commonly used in attempts to induce association rules from transaction data. Most previous studies focused on binary-valued transaction data. Transaction da...