1448 search results - page 240 / 290 » From Requirements to Code Revisited |
101
Voted
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
We describe our first efforts to develop a set of off-the-shelf hardware components that ordinary people could connect to build a simple but useful class of embedded systems. The ...
133
click to vote
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
115
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
106
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...
131
click to vote
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
Traceability schemes allow detection of at least one traitor when a group of colluders attempt to construct a pirate decoder and gain illegal access to digital content. Fiat and Ta...