Sciweavers

1484 search results - page 37 / 297
» A Coordination Model for Interactive Components
Sort
View
FMCO
2006
Springer
109views Formal Methods» more  FMCO 2006»
15 years 2 months ago
Model-Based Testing of Environmental Conformance of Components
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
Lars Frantzen, Jan Tretmans
COORDINATION
2006
Springer
15 years 1 months ago
Enabling Ubiquitous Coordination Using Application Sessions
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
Christine Julien, Drew Stovall
PDP
2009
IEEE
15 years 5 months ago
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO
SBASCO provides a new programming model for parallel and distributed numerical applications which exploits the combination of software components and skeletons. This paper present...
Manuel Díaz, Sergio Romero, Bartolomé...
CBSE
2005
Springer
15 years 4 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
IJON
2006
66views more  IJON 2006»
14 years 11 months ago
The interaction between facilitation and depression of two release mechanisms in a single synapse
The synapse from the lateral pyloric (LP) to the pyloric dilator (PD) neuron in the stomatogastric nervous system of the crab Cancer borealis has both a graded and a spike-mediate...
Lian Zhou, Robert LoMauro, Farzan Nadim