4698 search results - page 548 / 940 » Making Functionality More General |
177
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
174
Voted
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
194
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
160
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
177
click to vote
IMA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The GeometricXL algorithm is a geometrically invariant version of the XL algorithm that uses polynomials of a much smaller degree than either a standard Groebner basis al...