2361 search results - page 194 / 473 » Embedded Systems - Challenges and Work Directions |
133
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Schema mappings are high-level specifications that describe the relationship between database schemas. Schema mappings are prominent in several different areas of database managem...
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Drawing a distinction between relational and nonrelational sources, we explore the antecedents to selecting an information source. The antecedents to use have been categorized int...
152
Voted
ICTL
1994
15 years 8 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
132
Voted
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
129
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...