5630 search results - page 826 / 1126 » Computability in Specification |
156
click to vote
FPGA
2004
ACM
16 years 2 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
186
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
182
click to vote
IPSN
2004
Springer
16 years 1 days ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
176
click to vote
KES
2004
Springer
16 years 1 days ago
2004
Springer
In Simultaneous Localisation and Mapping (SLAM) the correspondence problem, specifically detecting cycles, is one of the most difficult challenges for an autonomous mobile robot. ...
166
Voted
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
Middleware helps to manage the complexity and heterogeneity inherent in distributed systems. Traditional middleware has a monolithic architecture, which makes it difficult to adap...