959 search results - page 110 / 192 » Transfers between Logics and their Applications |
176
click to vote
IPSN
2007
Springer
16 years 12 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
152
click to vote
APN
2007
Springer
16 years 14 days ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
196
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
143
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
192
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...