4759 search results - page 416 / 952 » Software Development Based on Software Pattern Evolution |
148
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner ...
137
Voted
ICES
2001
Springer
15 years 9 months ago
2001
Springer
A system for intrinsic hardware evolution of analog electronic circuits is presented. It consists of a VLSI chip featuring 16 × 16 programmable transistor cells, an FPGA based PCI...
127
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a methodology to engineer services in real-time information environments. We evaluate, combine and enrich traditional techniques and methodologies such as New Product D...
185
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
156
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...