Sciweavers

5754 search results - page 806 / 1151
» Multi-class Model M
Sort
View
ICSE
2009
IEEE-ACM
15 years 11 months ago
License integration patterns: Addressing license mismatches in component-based development
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
Daniel M. Germán, Ahmed E. Hassan
AGENTS
2001
Springer
15 years 11 months ago
Automatically tracking and analyzing the behavior of live insect colonies
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
Tucker R. Balch, Zia Khan, Manuela M. Veloso
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 11 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICSE
2001
IEEE-ACM
15 years 11 months ago
Designing Components Versus Objects: A Transformational Approach
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
David H. Lorenz, John M. Vlissides
NGC
2001
Springer
196views Communications» more  NGC 2001»
15 years 11 months ago
Application-Level Multicast Using Content-Addressable Networks
Abstract. Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, o...
Sylvia Ratnasamy, Mark Handley, Richard M. Karp, S...