2493 search results - page 373 / 499 » Tool Support for Design by Contract |
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
ICSNC
2006
IEEE
15 years 4 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
TRIDENTCOM
2006
IEEE
15 years 4 months ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
ANCS
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....