3007 search results - page 249 / 602 » Designed -in-diagnostics: A new optical method |
160
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
164
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
170
click to vote
IAJIT
2008
15 years 6 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
166
click to vote
IJSEKE
2008
15 years 6 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
177
click to vote
IJPRAI
2006
15 years 6 months ago
2006
Many real life problems are characterized by the structure of data derived from multiple sensors. The sensors may be independent, yet their information considers the same entities...