Sciweavers

380 search results - page 61 / 76
» A Software Framework for Automated Negotiation
Sort
View
FASE
2009
Springer
14 years 26 days ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
CODES
2001
IEEE
14 years 19 days ago
A constraint-based application model and scheduling techniques for power-aware systems
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh, Fadi ...
PERCOM
2010
ACM
13 years 7 months ago
Towards ontology-driven development of applications for smart environments
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
Artem Katasonov, Marko Palviainen
ICSOC
2009
Springer
13 years 6 months ago
On the Support of Dynamic Service Composition at Runtime
Abstract. Network-based software application services are receiving a lot of attention in recent years, as observed in developments as Internet of Services, Software as a Service a...
Eduardo Goncalves da Silva, Luís Ferreira P...
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 3 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