Sciweavers

3307 search results - page 512 / 662
» The meaning of concurrent programs
Sort
View
INFOCOM
2007
IEEE
16 years 1 months ago
Cost and Collision Minimizing Forwarding Schemes for Wireless Sensor Networks
—The paper presents a novel integrated MAC/routing scheme for wireless sensor networking. Our design objective is to elect the next hop for data forwarding by minimizing the numb...
Michele Rossi, Nicola Bui, Michele Zorzi
ISCC
2007
IEEE
16 years 1 months ago
Gaining Flexibility by Security Protocol Transfer
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
Per Harald Myrvang, Tage Stabell-Kulø
197
Voted
CONTEXT
2007
Springer
16 years 1 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
ECML
2007
Springer
16 years 1 months ago
Conceptual Clustering Applied to Ontologies
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
Floriana Esposito, Nicola Fanizzi, Claudia d'Amato
IFIP
2007
Springer
16 years 1 months ago
Elliptic Control by Penalty Techniques with Control Reduction
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...
Christian Grossmann, Holger Kunz, Robert Meischner