Sciweavers

7920 search results - page 207 / 1584
» The Swarm Application Framework
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
15 years 6 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
ICSE
2001
IEEE-ACM
15 years 11 months ago
Comparing Frameworks and Layered Refinement
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
Richard Cardone, Calvin Lin
IADIS
2004
15 years 8 months ago
A Framework for Symbolic Distributed Computer-Aided Design over the Internet
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
Yingcai Xiao, Shivakumar Kubendrachari
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 6 months ago
A Multi-agent Framework for Performance Tuning in Distributed Environment
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
Sarbani Roy, Saikat Halder, Nandini Mukherjee
ICIW
2008
IEEE
16 years 1 months ago
A Framework for Generic Internet-Based Information Notification
This paper introduces a framework to monitor information available dynamically on the Internet through web services, RSS feeds or dynamic HTML documents based on user defined crit...
Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar