Sciweavers

4074 search results - page 263 / 815
» Defining Computational Aesthetics
Sort
View
EDOC
2003
IEEE
15 years 11 months ago
A Systematic Approach to Platform-Independent Design Based on the Service Concept
This paper aims at demonstrating the benefits and importance of the service concept in the model-driven design of distributed applications. A service defines the observable behavi...
João Paulo A. Almeida, Marten van Sinderen,...
XMLSEC
2003
ACM
15 years 11 months ago
First experiences using XACML for access control in distributed systems
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...
Markus Lorch, Seth Proctor, Rebekah Lepro, Dennis ...
DSVIS
2003
Springer
15 years 11 months ago
Applying Extended Finite State Machines in Software Testing of Interactive Systems
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
Marcelo Fantinato, Mario Jino
ICRA
2000
IEEE
130views Robotics» more  ICRA 2000»
15 years 10 months ago
Design and Actuation Optimization of a 4 Axes Biped Robot for Walking and Running
Several french laboratories, joint in the CNRS Project "Control of Legged Robots", have defined a biped robot intented to experiment walking and running gaits. This bipe...
Cambrini Chevallereau, Philippe Sardain
ARGMAS
2004
Springer
15 years 9 months ago
Formal Dialectic Specification
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
Simon Wells, Chris Reed