376 search results - page 46 / 76 » A Controlled Language for the Specification of Contracts |
ICESS
2005
Springer
14 years 28 days ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
DATE
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper introduces several new component clustering techniques for the optimization of asynchronous systems. In particular, novel “Burst-Mode aware” restrictions are impose...
CSCW
1996
ACM
13 years 11 months ago
1996
ACM
Collaborative systems provide a rich but potentially chaotic environment for their users. This paper presents a system that allows users to control collaboration by enacting polic...
UML
2005
Springer
14 years 27 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
ISEM
2006
13 years 7 months ago
2006
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...