Sciweavers

1167 search results - page 135 / 234
» Substitution-closed pattern classes
Sort
View
ICMCS
2007
IEEE
141views Multimedia» more  ICMCS 2007»
15 years 4 months ago
Scene Recognition with Camera Phones for Tourist Information Access
Camera phones present new opportunities and challenges for mobile informationassociation and retrieval. The visual input in the real environment is a new and rich interaction moda...
Joo-Hwee Lim, Yiqun Li, Yilun You, Jean-Pierre Che...
COORDINATION
2004
Springer
15 years 3 months ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
15 years 3 months ago
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
Pavel Krcál, Wang Yi
INFOCOM
2003
IEEE
15 years 3 months ago
Interaction of TCP Flows as Billiards
Abstract— The aim of this paper is to analyze the performance of a large number of long lived TCP controlled flows sharing many routers (or links), from the knowledge of the net...
François Baccelli, Dohy Hong
IWPSE
2003
IEEE
15 years 3 months ago
CVS Release History Data for Detecting Logical Couplings
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
Harald Gall, Mehdi Jazayeri, Jacek Krajewski