Sciweavers

663 search results - page 40 / 133
» E-connections of abstract description systems
Sort
View
ESWS
2009
Springer
13 years 5 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
BXML
2003
13 years 9 months ago
VoiceXML in a Real Automatic Meteorological Information System
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
Luis Villarejo, Javier Hernando, Núria Cast...
ATC
2006
Springer
13 years 11 months ago
Towards a Standards-Based Autonomic Context Management System
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
Jadwiga Indulska, Karen Henricksen, Peizhao Hu
FCCM
1998
IEEE
148views VLSI» more  FCCM 1998»
13 years 12 months ago
JHDL - An HDL for Reconfigurable Systems
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
Peter Bellows, Brad L. Hutchings
SCALESPACE
1999
Springer
13 years 12 months ago
Calculations on Critical Points under Gaussian Blurring
Abstract. The behaviour of critical points of Gaussian scale-space images is mainly described by their creation and annihilation. In existing literature these events are determined...
Arjan Kuijper, Luc Florack