15253 search results - page 155 / 3051 » Integer-Programming Software Systems |
124
Voted
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
128
Voted
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a scalable architectural approach which aims to simplify embedded software development by supporting key development tasks like debugging, tracing and monitoring. Our a...
143
click to vote
PDCAT
2007
Springer
15 years 11 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
124
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
164
Voted
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...