3828 search results - page 260 / 766 » Proof-Based System Engineering Using a Virtual System Model |
165
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
144
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
163
click to vote
ECLIPSE
2004
ACM
15 years 12 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
180
click to vote
SAC
1994
ACM
15 years 10 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
165
click to vote
VRST
2009
ACM
16 years 1 months ago
2009
ACM
The display units integrated in todays head-mounted displays (HMDs) provide only a limited field of view (FOV) to the virtual world. In order to present an undistorted view to th...