1411 search results - page 154 / 283 » Case Studies of an Insider Framework |
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
116
click to vote
APN
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
FMSD
2007
14 years 11 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
ISF
2007
14 years 11 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
105
click to vote
TSMC
2008
14 years 11 months ago
2008
Recent studies have shown that the perception of natural movements--in the sense of being "humanlike"--depends on both joint and task space characteristics of the movemen...