Sciweavers

4861 search results - page 830 / 973
» Parsimonious concept modeling
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
ICSE
2001
IEEE-ACM
15 years 11 months ago
Engineering Mobile-Agent Applications via Context-Dependent Coordination
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
IDMS
2001
Springer
145views Multimedia» more  IDMS 2001»
15 years 11 months ago
A Service Differentiation Scheme for the End-System
A number of research studies show that the operating system has a substantial influence on communication delay in distributed environments. Thus, in order to provide applications w...
Domenico Cotroneo, Massimo Ficco, Giorgio Ventre
IFIP
2001
Springer
15 years 11 months ago
Systemic Functional Hypertexts (SFHT):
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
Alexander Mehler, Rodney J. Clarke
MDM
2001
Springer
15 years 11 months ago
Towards Sensor Database Systems
Sensor networks are being widely deployed for measurement, detection and surveillance applications. In these new applications, users issue long-running queries over a combination o...
Philippe Bonnet, Johannes Gehrke, Praveen Seshadri