5961 search results - page 184 / 1193 » Design Science and Software Engineering |
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—We present a novel approach for Medium Access Control (MAC) protocol design based on protocol engine. Current way of designing MAC protocols for a specific application is based...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
REFSQ
2007
Springer
14 years 4 months ago
2007
Springer
Requirement Specifications are very difficult to define. Due to lack of information and differences in interpretation, software engineers are faced with the necessity to redesign a...
APSEC
2008
IEEE
14 years 4 months ago
2008
IEEE
straction to Verify Arbitrary Temporal Properties Amir Pnueli New York University and Weizmann Institute of Sciences (Emeritus) Perspectives in Concurrency Theory, Chennai, 15 Dece...
WCET
2010
13 years 8 months ago
2010
ing Abstract Caches with Symbolic Pipeline Analysis Stephan Wilhelm1 and Christoph Cullmann1 1 AbsInt Angewandte Informatik GmbH, Science Park 1; D-66123 Saarbr