4048 search results - page 280 / 810 » Design Science, Engineering Science and Requirements Enginee... |
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
141
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
107
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
NIME
2004
Springer
15 years 10 months ago
2004
Springer
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
141
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Composing web services using current web service composition languages (such as BPEL) requires a large amount of in-depth knowledge. This paper introduces a service creation envir...