6079 search results - page 283 / 1216 » Aspect-Oriented Process Engineering |
155
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
149
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
139
click to vote
NIPS
2000
15 years 8 months ago
2000
We introduce total wire length as salient complexity measure for an analysis of the circuit complexity of sensory processing in biological neural systems and neuromorphic engineer...
158
click to vote
ISPW
2010
IEEE
15 years 11 months ago
2010
IEEE
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...
277
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...