Sciweavers

1525 search results - page 27 / 305
» POSD-a notation for presenting complex systems of processes
Sort
View
UML
2001
Springer
15 years 4 months ago
UML Modelling and Performance Analysis of Mobile Software Architectures
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
Vincenzo Grassi, Raffaela Mirandola
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 3 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
TOOLS
1998
IEEE
15 years 4 months ago
Macro Processing in Object-Oriented Languages
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
Shigeru Chiba
76
Voted
IJAOSE
2008
83views more  IJAOSE 2008»
14 years 11 months ago
PASSIM: a simulation-based process for the development of multi-agent systems
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
Massimo Cossentino, Giancarlo Fortino, Alfredo Gar...
ADL
2000
Springer
284views Digital Library» more  ADL 2000»
15 years 4 months ago
A Boolean Query Processing with a Result Cache in Mediator Systems
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
Jae-Heon Cheong, Sang-goo Lee