827 search results - page 57 / 166 » Patterns for Timed Property Specifications |
146
click to vote
DAIS
2008
15 years 4 months ago
2008
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— We propose two lightweight techniques to detect masquerade attacks on wireless sensor networks (WSN). Our solutions take into consideration, important WSN properties like cover...
109
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Experimental analyses of propulsion in freelyswimming fishes have led to the development of self-propelling pectoral and caudal fin robotic devices. These biorobotic mod...
JOCN
2010
15 years 1 months ago
2010
■ There are two views about morphology, the aspect of language concerned with the internal structure of words. One view holds that morphology is a domain of knowledge with a spe...
102
click to vote
ENTCS
2006
15 years 3 months ago
2006
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...