Sciweavers

3483 search results - page 185 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
165
Voted
SDL
2007
192views Hardware» more  SDL 2007»
15 years 5 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
ICASSP
2011
IEEE
14 years 7 months ago
Bird species recognition combining acoustic and sequence modeling
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
Martin Graciarena, Michelle Delplanche, Elizabeth ...
ICC
2008
IEEE
109views Communications» more  ICC 2008»
15 years 10 months ago
Wireless Scheduling Algorithms with O(1) Overhead for M-Hop Interference Model
Abstract—We develop a family of distributed wireless scheduling algorithms that requires only O(1) complexity for M-hop interference model, for any finite M. The recent technolo...
Yung Yi, Mung Chiang
CD
2004
Springer
15 years 9 months ago
Deploying Agents with the CORBA Component Model
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Fabio Melo, Ricardo Choren, Renato Cerqueira, Carl...
134
Voted
ER
2004
Springer
104views Database» more  ER 2004»
15 years 9 months ago
Enterprise Modeling with Conceptual XML
An open challenge is to integrate XML and conceptual modeling in order to satisfy large-scale enterprise needs. Because enterprises typically have many data sources using differe...
David W. Embley, Stephen W. Liddle, Reema Al-Kamha