4350 search results - page 216 / 870 » Case studies for contract-based systems |
158
click to vote
ACL
2012
13 years 7 months ago
2012
This paper presents the problem within Hittite and Ancient Near Eastern studies of fragmented and damaged cuneiform texts, and proposes to use well-known text classification metr...
146
Voted
WOA
2001
15 years 6 months ago
2001
This paper discusses the requirements an agent system needs to be secure. In particular, the paper introduces a classification of modern distributed systems, and examines the dele...
145
Voted
DAC
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
189
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
230
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...