517 search results - page 87 / 104 » Translation in XBRL standardization |
150
click to vote
AAIP
2009
15 years 27 days ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
111
click to vote
ACTA
2010
14 years 12 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
100
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Synthesis of data from published human genetic association studies is a critical step in the translation of human genome discoveries into health applications. Although...
CGF
2008
14 years 12 months ago
2008
The viewfinder of a digital camera has traditionally been used for one purpose: to display to the user a preview of what is seen through the camera's lens. High quality camer...
FAC
2008
14 years 12 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...