3891 search results - page 705 / 779 » Toward nature-inspired computing |
123
click to vote
CADE
2005
Springer
16 years 27 days ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
106
Voted
EDBT
2004
ACM
16 years 21 days ago
2004
ACM
GRID technology, emerging in the late nineties, has evolved from a metacomputing architecture towards a pervasive computation and information utility. However, the architectural de...
127
Voted
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
91
Voted
MOBISYS
2003
ACM
16 years 5 days ago
2003
ACM
Wireless local-area networks are becoming increasingly popular. They are commonplace on university campuses and inside corporations, and they have started to appear in public area...
110
Voted
MOBIHOC
2006
ACM
16 years 5 days ago
2006
ACM
Smart antennas have gained significant importance in multihop wireless networks in recent years, because of their sophisticated signal processing capabilities that hold the potent...