Sciweavers

1884 search results - page 153 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
DLOG
2004
14 years 11 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
MHCI
2009
Springer
15 years 4 months ago
Information empowerment through mobile learning
Information empowers those who make sense from its successful interpretation; this is especially true on the subject of weather where the recipient is required to have prior forms...
Raymond Koon Chuan Koh, Henry Xin Liong Tan, Henry...
NETWORKING
2004
14 years 11 months ago
Pricing Differentiated Services: A Game-Theoretic Approach
The goal of this paper is to study pricing of differentiated services and its impact on the choice of service priority at equilibrium. We consider both TCP connections as well as n...
Eitan Altman, Dhiman Barman, Rachid El Azouzi, Dav...
DCOSS
2008
Springer
14 years 12 months ago
Automatic Collection of Fuel Prices from a Network of Mobile Cameras
Abstract. It is an undeniable fact that people want information. Unfortunately, even in today's highly automated society, a lot of the information we desire is still manually ...
Y. F. Dong, Salil S. Kanhere, Chun Tung Chou, Niru...
ENTCS
2002
105views more  ENTCS 2002»
14 years 10 months ago
Towards component based systems: refining connectors
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Matthias Anlauff, Asuman Sünbül