Sciweavers

15253 search results - page 2634 / 3051
» Integer-Programming Software Systems
Sort
View
ECEASST
2010
15 years 2 months ago
GUI Inspection from Source Code Analysis
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
João Carlos Silva 0002, José Creissa...
AINA
2010
IEEE
15 years 1 months ago
Neural Network Trainer through Computer Networks
- This paper introduces a neural network training tool through computer networks. The following algorithms, such as neuron by neuron (NBN) [1][2], error back propagation (EBP), Lev...
Nam Pham, Hao Yu, Bogdan M. Wilamowski
306
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 20 hour ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
CSCW
2011
ACM
14 years 12 months ago
Virtual gifts and guanxi: supporting social exchange in a chinese online community
Significant cultural differences persist between East and West. Software systems that have been proven to operate efficiently within one culture can fail in the context of the oth...
Jiang Yang, Mark S. Ackerman, Lada A. Adamic
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 12 months ago
Simulating Cyber-Attacks for Fun and Profit
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
Ariel Futoransky, Fernando Miranda, José Ig...
« Prev « First page 2634 / 3051 Last » Next »