1252 search results - page 98 / 251 » Complex Systems and Agent-Oriented Software Engineering |
102
Voted
ICRE
1998
IEEE
15 years 5 months ago
1998
IEEE
: Scenario-based approaches are becoming ubiquitous in systems analysis and design but their definition and scope remain vague. Complementing the recently proposed CREWS classifica...
ECLIPSE
2006
ACM
15 years 4 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...
118
Voted
SEW
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
111
Voted
CODES
1999
IEEE
15 years 5 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...
93
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...