2909 search results - page 440 / 582 » Consistency of the theory of contexts |
156
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...
174
click to vote
ATAL
2005
Springer
16 years 18 hour ago
2005
Springer
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...
155
click to vote
BIRTHDAY
2005
Springer
16 years 16 hour ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
170
click to vote
DSVIS
2005
Springer
16 years 7 hour ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
173
click to vote
FOSSACS
2005
Springer
16 years 3 hour ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...