967 search results - page 4 / 194 » Languages and Tools for Hybrid Systems Design |
UML
2001
Springer
13 years 12 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
LREC
2008
13 years 9 months ago
2008
Large-scale grammar-based parsing systems nowadays increasingly rely on independently developed, more specialized components for pre-processing their input. However, different too...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
CEC
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...