Sciweavers

3868 search results - page 685 / 774
» A Distributed Parallel Programming Framework
Sort
View
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
14 years 3 months ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...
ELPUB
2003
ACM
14 years 3 months ago
The Omnipaper Metadata RDF/XML Prototype Implementation
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
Teresa Susana Mendes Pereira, Ana Alice Baptista
ACMSE
2007
ACM
14 years 2 months ago
Hierarchical land cover information retrieval in object-oriented remote sensing image databases with native queries
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
Jiang Li
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ATAL
2008
Springer
14 years 1 days ago
Belief operations for motivated BDI agents
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
Patrick Krümpelmann, Matthias Thimm, Manuela ...