6047 search results - page 578 / 1210 » Modeling with Extend |
227
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
221
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
193
click to vote
BMAS
2000
IEEE
15 years 12 months ago
2000
IEEE
Verilog-AMS is one of the major mixed-signal hardware description languages on today’s market. In addition to the extended capabilities to model analog and digital behavior, the...
194
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
213
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...