1784 search results - page 170 / 357 » Formal Models for Embedded System Design |
101
click to vote
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
ACNS
2006
Springer
15 years 4 months ago
2006
Springer
A coupon is an electronic data that represents the right to access a service provided by a service provider (e.g. gift certificates or movie tickets). Recently, a privacyprotectin...
94
Voted
MTV
2003
IEEE
15 years 3 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We define trust-based mechanism design as an augmentation of traditional mechanism design in which agents take into account the degree of trust that they have in their counterpar...
120
Voted
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...