8582 search results - page 320 / 1717 » Here or There |
168
click to vote
MKM
2007
Springer
16 years 28 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
161
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
181
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
177
click to vote
NETCOOP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper discusses an optimization-based approach for congestion control together with multipath routing in a TCP/IP network. In recent research we have shown how natur...
150
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Mobile technologies aim to assist people as they move from place to place going about their daily work and social routines. Established and very popular mobile technologies include...