Sciweavers

1260 search results - page 215 / 252
» From Domain Models to Architecture Frameworks
Sort
View
EUROPAR
2005
Springer
15 years 5 months ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
FLAIRS
2010
15 years 2 months ago
Grounded Event-Based and Modal Representations for Objects, Relations, Beliefs, Etc.
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
Ryan James McCall, Stan Franklin, David Friedlande...
PEWASUN
2007
ACM
15 years 1 months ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 6 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
WWW
2004
ACM
16 years 14 days ago
A hybrid approach for searching in the semantic web
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
Cristiano Rocha, Daniel Schwabe, Marcus Poggi de A...