2409 search results - page 52 / 482 » Logical systems for structured specifications |
122
Voted
IPM
2010
14 years 10 months ago
2010
Focusing on the context of XML retrieval, in this paper we propose a general methodology for managing structured queries (involving both content and structure) within any given st...
124
click to vote
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
121
click to vote
CSMR
2008
IEEE
15 years 2 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
120
click to vote
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
90
Voted
AMAST
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...