Sciweavers

5591 search results - page 731 / 1119
» Design patterns: between programming and software design
Sort
View
HYBRID
2007
Springer
16 years 27 days ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
KI
2007
Springer
16 years 26 days ago
Using UML for Knowledge Engineering - A Critical Overview
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
Grzegorz J. Nalepa, Igor Wojnicki
CN
2002
89views more  CN 2002»
15 years 6 months ago
Graphic visualization and animation of LOTOS execution traces
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....
Bernard Stepien, Luigi Logrippo
DEBS
2010
ACM
15 years 3 months ago
Mobile XSiena: towards mobile publish/subscribe
Mobile XSiena is a novel publish/subscribe platform which seeks to extend the XSiena content-based publish/subscribe system in order to support user mobility and create an experim...
Zigor Salvador, Aurkene Alzua, Mikel Larrea, Alber...
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 3 months ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar