Sciweavers

627 search results - page 56 / 126
» Towards a Flexible Development Framework for Multi-Agent Sys...
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 5 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
ICDE
2009
IEEE
127views Database» more  ICDE 2009»
16 years 1 months ago
SbQA: A Self-Adaptable Query Allocation Process
We present a flexible query allocation framework, called Satisfaction-based Query Allocation (SbQA for short), for distributed information systems where both consumers and provider...
Jorge-Arnulfo Quiané-Ruiz, Patrick Valdurie...
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
15 years 5 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
JUCS
2007
165views more  JUCS 2007»
14 years 11 months ago
An Adaptable Framework for Ontology-based Content Creation on the Semantic Web
: Creation of rich, ontology-based metadata is one of the major challenges in developing the Semantic Web. Emerging applications utilizing semantic web techniques, such as semantic...
Onni Valkeapää, Olli Alm, Eero Hyvö...
ECRTS
2008
IEEE
15 years 6 months ago
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors
Scheduling of sporadic task systems on multiprocessor platforms is an area which has received much attention in the recent past. It is widely believed that finding an optimal sch...
Insik Shin, Arvind Easwaran, Insup Lee