3837 search results - page 542 / 768 » Concurrent Engineering support in Software Engineering |
146
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
102
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
126
Voted
GG
2004
Springer
15 years 9 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
125
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
140
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...