Sciweavers

2314 search results - page 210 / 463
» Monoids over domains
Sort
View
HYBRID
2003
Springer
15 years 12 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
178
Voted
DEXAW
2002
IEEE
107views Database» more  DEXAW 2002»
15 years 11 months ago
Semi-Automated Extraction of Ontological Knowledge from XML Datasources
In the paper we present a methodology for the semiautomated extraction of ontological knowledge from XML data sources in a given domain. We consider an interconnection scenario ov...
Silvana Castano, Valeria De Antonellis, Sabrina De...
EUROMICRO
2002
IEEE
15 years 11 months ago
Applications for the Highly Parallel Mobile Multimedia Modem M3-DSP
The Mobile Multimedia Modem (M3)-DSP is based on a scalable, highly parallel DSP platform concept capable of delivering the processing power to create software solutions for tasks...
Michael Hosemann, Gerhard Fettweis, Vladimir Nikol...
159
Voted
FASE
2010
Springer
15 years 11 months ago
Incremental Consistency Checking of Dynamic Constraints
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
Iris Groher, Alexander Reder, Alexander Egyed
201
Voted
INFOSCALE
2009
ACM
15 years 11 months ago
CAWA: Continuous Approximate Where-About Queries
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...
Alexander J. Aved, Kien A. Hua, Antoniya Petkova