Sciweavers

1934 search results - page 71 / 387
» Application specific NoC design
Sort
View
ISSTA
1996
ACM
15 years 8 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon
IFIP
2010
Springer
15 years 1 months ago
Supporting DSS Acceptability through a User-Centered Design Methodology: Experiences in Emergency Management
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
Pietro Baroni, Daniela Fogli, Massimiliano Giacomi...
124
Voted
ICWE
2005
Springer
15 years 9 months ago
Discovering Re-usable Design Solutions in Web Conceptual Schemas: Metrics and Methodology
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
Yannis Panagis, Evangelos Sakkopoulos, Spiros Sirm...
TOOLS
1999
IEEE
15 years 8 months ago
Design and Implementation of a Programmable Coordination Architecture for Mobile Agents
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...
Giacomo Cabri, Letizia Leonardi, Gabriele Reggiani...
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 8 months ago
Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...