Sciweavers

126 search results - page 12 / 26
» A Design Pattern for Component Oriented Development of Agent...
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 6 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
IEEESCC
2005
IEEE
14 years 10 days ago
An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
Xiaolin Lu
AVI
2000
13 years 8 months ago
Generating User Interface Code in a Model Based User Interface Development Environment
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
Paulo Pinheiro da Silva, Tony Griffiths, Norman W....
SEKE
2005
Springer
14 years 6 days ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
13 years 10 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...