Sciweavers

15860 search results - page 2664 / 3172
» Agent-Based Software Engineering
Sort
View
APAL
2010
92views more  APAL 2010»
15 years 3 months ago
The eskolemization of universal quantifiers
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
Rosalie Iemhoff
BC
2010
85views more  BC 2010»
15 years 3 months ago
Controlling precise movement with stochastic signals
In a noisy system, such as the nervous system, can movements be precisely controlled as experimentally demonstrated? We point out that the existing theory of motor control fails to...
Enrico Rossoni, Jing Kang, Jianfeng Feng
CLEIEJ
2010
15 years 3 months ago
Synchronous versus Asynchronous interaction between users of two collaborative tools for the production of Use Cases
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...
Carlos M. Fuenzalida, Hector B. Antillanca
CLEIEJ
2010
15 years 3 months ago
Professional Training Program Management through Holonic Networks
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
Jonas Montilva C., Milagro Rivero, Judith Barrios ...
ENDM
2010
67views more  ENDM 2010»
15 years 3 months ago
An exact method for the bi-objective one-machine problem with maximum lateness and unit family setup cost objectives
This paper deals with an NP-hard bi-objective one-machine problem with ready times involving maximum lateness and unit family setup cost objectives. Considering separately both ob...
Christian Artigues, Nicolas Jozefowiez, Mohamed Al...
« Prev « First page 2664 / 3172 Last » Next »