1926 search results - page 322 / 386 » Modeling and Model Checking Software Product Lines |
183
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
GRAPHITE
2005
ACM
15 years 5 months ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...
134
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
WSC
2000
15 years 1 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...