Sciweavers

3045 search results - page 394 / 609
» Formal Approaches to Software Architecture
Sort
View
FTDCS
1997
IEEE
15 years 11 months ago
Toward globally optimal resource management in large-scale real-time distributed computer systems
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
K. H. Kim
DATE
2009
IEEE
163views Hardware» more  DATE 2009»
15 years 10 months ago
Analysis and optimization of fault-tolerant embedded systems with hardened processors
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru ...
ROBOCUP
2000
Springer
108views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
The UNSW RoboCup 2000 Sony Legged League Team
We describe our technical approach in competing at the RoboCup 2000 Sony legged robot league. The UNSW team won both the challenge competition and all their soccer matches, emergin...
Bernhard Hengst, Darren Ibbotson, Son Bao Pham, Jo...
ADBIS
2010
Springer
181views Database» more  ADBIS 2010»
15 years 8 months ago
Stones Falling in Water: When and How to Restructure a View-Based Relational Database
Nowadays, one of the most important problems of software engineering continues to be the maintenance of both databases and applications. It is clear that any method that can reduce...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
197
Voted
WOA
2001
15 years 8 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...