6047 search results - page 750 / 1210 » Modeling with Extend |
187
click to vote
MOBIQUITOUS
2005
IEEE
16 years 15 days ago
2005
IEEE
The publish/subscribe model of communication provides sender/receiver decoupling and selective information dissemination that is appropriate for mobile environments characterized ...
160
click to vote
TPHOL
2005
IEEE
16 years 15 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
139
click to vote
APLAS
2005
ACM
16 years 14 days ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
161
click to vote
MM
2005
ACM
16 years 14 days ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
186
click to vote
ASM
2005
ASM
16 years 14 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...