Sciweavers

754 search results - page 105 / 151
» Using Style to Understand Descriptions of Software Architect...
Sort
View
ICFEM
1998
Springer
15 years 5 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
CONCURRENCY
2002
199views more  CONCURRENCY 2002»
15 years 1 months ago
Application portals: practice and experience
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...
Mary Thomas, Maytal Dahan, Kurt Mueller, Stephen M...
OIR
2007
123views more  OIR 2007»
15 years 28 days ago
The IP's guide to the galaxy of portal planning: part III - administrative framework
Purpose – This article is the third in a four-part series that aims to illustrate the process involved in planning a portal and creating a portal definition document. Design/me...
Amy M. Finley, Rebecca H. Augustyniak
NIPS
2007
15 years 2 months ago
Modelling motion primitives and their timing in biologically executed movements
Biological movement is built up of sub-blocks or motion primitives. Such primitives provide a compact representation of movement which is also desirable in robotic control applica...
Ben H. Williams, Marc Toussaint, Amos J. Storkey
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 6 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge