Sciweavers

1087 search results - page 24 / 218
» Modelling and Implementing Complex Systems with Timebands
Sort
View
SIGCPR
2003
ACM
183views Hardware» more  SIGCPR 2003»
14 years 29 days ago
ERP training strategies: conceptual training and the formation of accurate mental models
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...
Tony Coulson, Conrad Shayo, Lorne Olfman, C. E. Ta...
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
14 years 2 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
EUROMICRO
2006
IEEE
13 years 11 months ago
A UML Profile and a Methodology for Real-Time Systems Design
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
Cesare Bartolini, Antonia Bertolino, Guglielmo De ...
OOPSLA
2007
Springer
14 years 1 months ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden