5550 search results - page 697 / 1110 » Different Approaches to Proof Systems |
175
click to vote
ISSTA
2004
ACM
16 years 15 days ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
163
click to vote
ICEIS
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
176
click to vote
IFSA
2003
Springer
16 years 8 days 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...
173
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an implementation of Forward Looking Infrared (FLIR) and Laser Radar (LADAR) data simulation for use in developing a multi-sensor datafusion automated target r...
178
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...