1760 search results - page 194 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
258
click to vote
TSE
2012
13 years 8 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
159
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
160
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
166
click to vote
SASO
2008
IEEE
16 years 8 days ago
2008
IEEE
In this position paper, we propose the development of a new biologically inspired paradigm based on fungal colonies, for the application to pervasive adaptive systems. Fungal colo...
127
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...