Sciweavers

1146 search results - page 68 / 230
» Evaluation of modeling techniques for agent-based systems
Sort
View
GI
2004
Springer
15 years 3 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
CSUR
1999
144views more  CSUR 1999»
14 years 9 months ago
Adaptive hypermedia: from systems to framework
: The navigational freedom in conventional hypermedia applications leads to comprehension and orientation problems [Nielsen 1990]. Adaptive hypermedia attempts to overcome these pr...
Paul De Bra, Peter Brusilovsky, Geert-Jan Houben
WSC
2004
14 years 11 months ago
Fast Model-Based Penetration Testing
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...
Sankalp Singh, James Lyons, David M. Nicol
IEEEARES
2008
IEEE
15 years 4 months ago
On the Possibility of Small, Service-Free Disk Based Storage Systems
For many storage providers, the cost of providing service calls exceeds the costs of the hardware being serviced. In this paper, we show that zeromaintenance, small disk arrays ar...
Jehan-François Pâris, Thomas J. E. Sc...
CORR
2008
Springer
107views Education» more  CORR 2008»
14 years 9 months ago
Stiffness Analysis Of Multi-Chain Parallel Robotic Systems
: The paper presents a new stiffness modelling method for multi-chain parallel robotic manipulators with flexible links and compliant actuating joints. In contrast to other works, ...
Anatoly Pashkevich, Damien Chablat, Philippe Wenge...