Sciweavers

8492 search results - page 1285 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
SAC
2004
ACM
16 years 8 days ago
Using mobile agents as roaming security guards to test and improve security of hosts and networks
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri,...
ECOOPW
1999
Springer
15 years 11 months ago
Security in Active Networks
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
D. Scott Alexander, William A. Arbaugh, Angelos D....
ASPDAC
2004
ACM
94views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Improving simulation-based verification by means of formal methods
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
Görschwin Fey, Rolf Drechsler
FPLAY
2008
15 years 8 months ago
Intelligent adaptation of digital game-based learning
Games for learning cannot take the same design approach as games when targeting audiences. While players of entertainment games have the luxury of choosing games that suit them, s...
Brian Magerko, Carrie Heeter, Joe Fitzgerald, Ben ...
EWC
2002
86views more  EWC 2002»
15 years 6 months ago
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister &Ari...
« Prev « First page 1285 / 1699 Last » Next »