Sciweavers

4074 search results - page 223 / 815
» Defining Computational Aesthetics
Sort
View
87
Voted
ENC
2005
IEEE
15 years 6 months ago
Using Alloy to model-check visual design notations
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
Anthony J. H. Simons, Carlos Alberto Fernán...
105
Voted
WIRI
2005
IEEE
15 years 6 months ago
A Lightweight Approach to Semantic Web Service Synthesis
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
Jianguo Lu, Yijun Yu, John Mylopoulos
WORDS
2005
IEEE
15 years 6 months ago
A Real-Time Distributed Scheduling Service For Middleware Systems
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay ...
CSCWD
2005
Springer
15 years 6 months ago
Analyzing groupware design by means of usability results
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
Pedro Antunes, Marcos R. S. Borges, José A....
118
Voted
BIOADIT
2004
Springer
15 years 6 months ago
A Hardware Implementation of a Network of Functional Spiking Neurons with Hebbian Learning
Abstract. In this paper we present a functional model of a spiking neuron intended for hardware implementation. Some features of biological spiking neuabstracted, while preserving ...
Andres Upegui, Carlos Andrés Peña-Re...