Sciweavers

7452 search results - page 1261 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
DCOSS
2007
Springer
16 years 24 days ago
A Compilation Framework for Macroprogramming Networked Sensors
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor ...
ECOOP
2007
Springer
16 years 24 days ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
16 years 23 days ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
IFSA
2007
Springer
147views Fuzzy Logic» more  IFSA 2007»
16 years 23 days ago
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
Radim Belohlávek, Vilém Vychodil
KESAMSTA
2007
Springer
16 years 23 days ago
Ontology Agent Based Rule Base Fuzzy Cognitive Maps
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
Alejandro Peña Ayala, Humberto Sossa, Franc...
« Prev « First page 1261 / 1491 Last » Next »