1036 search results - page 149 / 208 » Incompleteness of Behavioral Logics |
HPCA
2001
IEEE
14 years 9 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This work focuses on an emerging extension to traditional agent models, called Hierarchical Mobile Agents model, where an agent can contain other agents recursively. The model ena...
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
IFSA
2003
Springer
14 years 1 months ago
2003
Springer
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...