1784 search results - page 306 / 357 » Formal Models for Embedded System Design |
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
VL
2005
IEEE
15 years 3 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
WSC
2004
14 years 11 months ago
2004
While the literature contains several adaptive sampling techniques for statistical comparison of competing simulated system configurations and for embedded statistical computation...
115
click to vote
DBPL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...