21430 search results - page 406 / 4286 » Abstract Effective Models |
292
click to vote
TIP
2010
15 years 1 months ago
2010
We explore camera scheduling and energy allocation strategies for lifetime optimization in image sensor networks. For the application scenarios that we consider, visual coverage ov...
150
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
335
click to vote
Book
"Delay effects, such as phasing, flanging, chorus, and artificial reverberation, provide an excellent starting point for the subject of digital waveguide modeling because both...
183
Voted
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
185
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...